minor cleanup
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 23 Nov 2022 08:45:17 +0000 (09:45 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 23 Nov 2022 08:45:17 +0000 (09:45 +0100)
commit228e5b2b7f689837761f9ca1fb4d669e0545d5b7
tree559c0181042a0116d7544519b7fc2d62b5b7d215
parentd449bf6f8042cac568370b19acf3f833bdb24808
minor cleanup
Makefile
lbuild-initvm.sh