rpms/gnome-shell-extensions
5
0
Fork 0
Code Issues Pull Requests Releases Activity
Modify and extend GNOME Shell functionality and behavior
160 Commits 9 Branches 61 Tags 2 MiB
Diff 100%
538392defa
Go to file
Florian Müllner 538392defa Fix files list 
The custom settings override system in mutter has been replaced with
similar functionality in GIO itself.
2018-08-01 04:21:44 +02:00
.gitignore Update to 3.29.90 2018-08-01 04:05:59 +02:00
gnome-shell-extensions.spec Fix files list 2018-08-01 04:21:44 +02:00
sources Update to 3.29.90 2018-08-01 04:05:59 +02:00