git pull after parsing options
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 15 Oct 2015 09:20:54 +0000 (11:20 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 15 Oct 2015 09:20:54 +0000 (11:20 +0200)
commit7f325790e1194f697976d03e2a38d368b05bc709
treedc0a94d0d3f7eaa6de5e42eaff96d5c59be39070
parent16bdf4f0fdfb8a3aa0971f860e8a3d6fa23cf115
git pull after parsing options
scripts/create-vm.sh