Trevor Vallender 7d69b17cca Optimisations ... - Remove gpg from system-wide settings (we have it in home manager too). - Try different gc settings.		2023-08-28 13:45:03 +01:00
..
apply-system.bash	Wrap system configuration in a Flake	2023-03-09 19:42:16 +00:00
gc.bash	Optimisations	2023-08-28 13:45:03 +01:00
update-system.bash	Use Flakes for home-manager config also	2023-03-09 20:16:16 +00:00