Solved naming bug

Bash script to install, activate and deactivate gnome extensions via CLI
2024-12-21 21:46:16 +01:00 · 2023-06-20 20:51:05 +02:00 · 2023-06-20 20:51:05 +02:00 · 2022-08-19 21:02:35 +02:00 · 2022-08-19 21:02:35 +02:00
diff --git a/Kevin Veen-Birkenbach b/Kevin Veen-Birkenbach
Kevin Veen-Birkenbach 639b09e9a4 Solved naming bug		2023-06-20 20:51:05 +02:00
gnome-extension-manager.sh	Solved naming bug	2023-06-20 20:51:05 +02:00
LICENSE	Initial commit	2022-08-19 21:02:35 +02:00
README.md	Initial commit	2022-08-19 21:02:35 +02:00