Nicolas “Niols” Jeannerod 71d1c612a4 Get rid of fedi300 ... It has been off for a long while now. We will just add a VM again if there is one ever.		2025-02-25 11:36:54 +01:00
..
fedi200.pub	Add a testing machine for Hans	2025-02-21 20:25:20 +01:00
fedi201.pub	Add VM for the front-end (#183)	2025-02-24 14:49:53 +01:00
vm02116
vm02117.pub	Move web server definition to infra	2025-01-29 15:34:48 +01:00
vm02179
vm02186
vm02187	Use shared keys attrset in infra/	2024-12-13 00:26:43 +01:00