Files
gnome-shell-extensions/extensions
Giovanni Campagna 8d2e8c8cb1 native-window-placement: fix disabling the extension
The monkey patch was being reinstalled under the wrong name.
2012-11-11 19:27:36 +01:00
..