tweaks for f24
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 28 Jun 2016 13:26:54 +0000 (15:26 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 28 Jun 2016 13:26:54 +0000 (15:26 +0200)
commit2fe4f58675d0658f284f004a2ce3bf5cc42c5502
tree8f9915036750f4508a5938e303b9245c5f2568e0
parent76606fb56dc6a2f459f73546067c1e0e1ba59be4
tweaks for f24
lbuild-initvm.sh