3 commits

Author	SHA1	Message	Date
Nicolas “Niols” Jeannerod	b42d654ab6	Track machines' descriptions	2025-02-27 16:45:11 +01:00
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