John Bowdre 70b8387b14 gnome: update option names		2024-07-25 21:47:06 -05:00
..
global	workaround for network-manager upgrade	2023-12-23 21:12:07 -06:00
optional	gnome: update option names	2024-07-25 21:47:06 -05:00
users/john	misc cleanup	2023-09-23 20:46:36 -05:00