Files
gnome-shell/js/ui
Giovanni Campagna 018025dada dash: use global settings instead of own settings object
Makes it easier to reason about change notifications

https://bugzilla.gnome.org/show_bug.cgi?id=746509
2015-03-27 13:11:22 -07:00
..
2014-10-14 18:53:39 -07:00
2014-04-10 21:08:16 +02:00
2015-02-14 18:20:28 +01:00
2015-01-16 18:24:36 +01:00