bugfix for debian
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 22 Jan 2014 09:55:41 +0000 (10:55 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 22 Jan 2014 09:55:41 +0000 (10:55 +0100)
commitad5767a6cc6f3660c2a3a5ccd90737a5450f64a6
tree5a3fa725fce76d3cbd418f46f2f35ea83cdd216e
parent41f6bf6a56b918bf1d1f5732b194b29ab530d02e
bugfix for debian
lbuild-initvm.sh