refresh names of debian distros
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 15 Jan 2013 10:12:49 +0000 (11:12 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 15 Jan 2013 10:12:49 +0000 (11:12 +0100)
commitfa61c7b1aafd16538b670d2f5c2b9d541d4c6006
tree46d71c5cc90d0f027ec294c1fc0ff9866e22e480
parentd0130e663fdb3787bc4851a0e0e5c9dafe986f78
refresh names of debian distros
vbuild-init-vserver.sh