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