Benjamin Bädorf 1f2d56e0c9 Rename flora6 to flora-6 ... This aligns with the coming changes in hostnames in the terraform infrastructure.		2022-11-26 02:40:51 +01:00
..
default.nix	Rename flora6 to flora-6	2022-11-26 02:40:51 +01:00
flora-6.nix	Rename flora6 to flora-6	2022-11-26 02:40:51 +01:00
hardware-configuration.nix	Rename flora6 to flora-6	2022-11-26 02:40:51 +01:00
triton-vmtools.nix	Rename flora6 to flora-6	2022-11-26 02:40:51 +01:00