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