Nicolas “Niols” Jeannerod 0e6c96a2be Document the procolixVm options		2025-01-31 17:23:12 +01:00
..
nixos	Move old procolix.vm options to new procolixVm ones	2025-01-31 17:15:12 +01:00
options.nix	Document the procolixVm options	2025-01-31 17:23:12 +01:00
resource.nix	Move old procolix.vm options to new procolixVm ones	2025-01-31 17:15:12 +01:00