Peder Bergebakken Sundt 4874cd5230 remove some redundant shell profiles		2024-03-26 18:30:22 +01:00
..
default.nix	remove some redundant shell profiles	2024-03-26 18:30:22 +01:00
hardware-configuration.nix	hosts.garp: init	2023-09-29 15:59:56 +02:00