isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ff19e411a2
gnome-shell/js/extensionPrefs
History
Florian Müllner 669d20bcf0 extensionPrefs: Fix prefs button
2016-02-11 15:01:53 +01:00
..
main.js extensionPrefs: Fix prefs button 2016-02-11 15:01:53 +01:00