Benjamin Berg 9a49b20fac extensionPrefs: Delete disabled warning marker ... It isn't possible to easily delete the marker from an XDG autostart file, so make it on startup to simplify that. This is in preparation for the next commit which adds the appropriate autostart file. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/695		2019-08-30 18:58:50 +02:00
..
main.js	extensionPrefs: Delete disabled warning marker	2019-08-30 18:58:50 +02:00