2 commits

Author	SHA1	Message	Date
teutat3s	a795bf4429	Rename flora6 -> flora-6	2022-11-27 21:56:40 +01:00
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