3 commits

Author	SHA1	Message	Date
Alexander Hess	9a0514251a	Put more spaces between sections	2023-05-05 01:44:18 +02:00
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