Manuel Thalmann 653fb757d1 Add script for installing gnome extensions		2023-04-04 02:50:31 +02:00
..
install-extension.sh	Add script for installing gnome extensions	2023-04-04 02:50:31 +02:00
install.sh	Add script for installing gnome extensions	2023-04-04 02:50:31 +02:00