2 commits

Author	SHA1	Message	Date
Nicolas “Niols” Jeannerod	4d00635e69	Move old procolix.vm options to new procolixVm ones	2025-01-31 17:15:12 +01:00
Nicolas “Niols” Jeannerod	e0b4dd4d5b	Shorter name	2025-01-31 16:48:08 +01:00