gnome-shell/js
Matthias Clasen 6f8540f25a Use nice Unicode for date formatting
The ratio character is nicer aligned for this use than the
stock colon, and a thin space is all that is needed before am/pm.

https://bugzilla.gnome.org/show_bug.cgi?id=689251
2013-02-12 10:16:47 -05:00
..
extensionPrefs extensionPrefs: Remove an extra parameter to set_cell_data_func 2012-10-10 18:21:03 -03:00
gdm main: Move KeybindingMode into Shell 2013-02-04 16:48:40 +01:00
misc Don't ask for a password on shutdown 2013-02-11 19:39:00 +01:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui Use nice Unicode for date formatting 2013-02-12 10:16:47 -05:00
Makefile.am Add a new Hash module 2013-01-31 13:20:08 +01:00