Florian Müllner 5dbf09c008 extensionPrefs: Work around xgettext bug ... xgettext is thrown off by the combination of backticks and slashes, which makes template string a fun trap to fall into. Just use String.format() for now ... https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/383		2019-02-03 16:11:09 +00:00
..
main.js	extensionPrefs: Work around xgettext bug	2019-02-03 16:11:09 +00:00