gdm
|
userMenu: Move UserAvatarWidget into UserWidget
|
2013-06-06 14:00:37 -04:00 |
misc
|
Hash: make .size() constant time
|
2013-05-12 21:06:34 +02:00 |
perf
|
perf: Update to latest overlay changes
|
2012-08-20 20:40:01 +02:00 |
ui
|
volume: Remove some unused variables
|
2013-06-06 14:00:38 -04:00 |