Nicolas Jeannerod fe0c69f6d9 Add changes that hadn't been pushed to the repo as well		2024-11-20 12:41:13 +01:00
..
configuration.nix	Add changes that hadn't been pushed to the repo as well	2024-11-20 12:41:13 +01:00
hardware-configuration.nix	Add wiki machine to the infra/ directory	2024-11-20 10:13:40 +01:00