Florian Müllner 679fc20765 extensionPrefs: Add application icon ... We are about to make the tool a user-visible application, so we need an icon. Add one (plus its symbolic variant). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968		2020-02-03 19:03:19 +01:00
..
postinstall.py