Author	SHA1	Message	Date
Alexander Hess	1691ddf1fa	Update Gnome Shell Extensions' settings ... After switching to the latest Fedora 38 with Gnome 44, some new shell extensions are added and old ones removed	2023-05-02 12:37:01 +02:00
Alexander Hess	9bc310ff9f	Configure Gnome ... - add ~/.config/gnome-settings/*.ini => static files with a commented export of Gnome settings - re-load these configs with `update-machine`	2022-08-14 17:38:40 +02:00