Daniel Barlow 57eb55de58 found another mips-vm to rename

2023-09-20 19:13:04 +01:00

..

default.nix

rename mips-vm as run-liminix-vm

2023-09-20 18:33:20 +01:00

run-liminix-vm.sh

found another mips-vm to rename

2023-09-20 19:13:04 +01:00