gnome-shell/js
Elad Alfassa 644c210fe2 Rename "System Settings" to "Settings"
"System Settings" has been renamed to "Settings" in gnome-control-center.
See bug https://bugzilla.gnome.org/show_bug.cgi?id=681543

This patch does the same rename in the shell itself, as per

https://bugzilla.gnome.org/show_bug.cgi?id=687738
2012-11-07 16:05:23 +00:00
..
extensionPrefs extensionPrefs: Remove an extra parameter to set_cell_data_func 2012-10-10 18:21:03 -03:00
gdm unlockDialog: better confirmation button label 2012-11-07 01:26:35 +01:00
misc mobile-providers: new country-specific type to gather providers 2012-11-05 22:20:08 +01:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui Rename "System Settings" to "Settings" 2012-11-07 16:05:23 +00:00
Makefile.am ViewSelector: remove the places & devices search provider 2012-09-16 19:02:22 +02:00