gnome-shell/js/extensionPrefs
Florian Müllner 9eaa0089d0 cleanup: Fix missing/stray spaces
Those are wrong according to our style guidelines, but the previous
eslint ruleset didn't catch them.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/805
2019-11-11 19:25:14 +00:00
..
main.js cleanup: Fix missing/stray spaces 2019-11-11 19:25:14 +00:00