2 commits

Author	SHA1	Message	Date
Nicolas “Niols” Jeannerod	90efd14e54	Remove unused VMs ... This has been done in sync with @kevin who removed them from the Procolix infrastructure as well.	2025-02-26 09:15:10 +01:00
Nicolas “Niols” Jeannerod	c74145fe24	Split machine definitions into subdirectories	2025-02-25 11:57:21 +01:00