tentative cleanup of really old/dirty patches required a long time ago
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 29 Jan 2014 10:11:43 +0000 (11:11 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 29 Jan 2014 10:11:43 +0000 (11:11 +0100)
commit5e8ccbdd7d161fd8fc1a3ee451080055db41b6e0
tree93a2a86200adfbee334582816626c55c00cbe14c
parent13efda029b013b0cf806194e6f46c37f2c8d21b2
tentative cleanup of really old/dirty patches required a long time ago
lbuild-initvm.sh