fix getdistro for debians as wheezy has gone from 7.0 to 7.1
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 26 Jun 2013 06:54:41 +0000 (08:54 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 26 Jun 2013 06:54:41 +0000 (08:54 +0200)
commit2ab527e45d44b31125d1befbe7b5e0f225e02ef4
tree923abc1a153ae20e4d942ae82538d2689d63c2f7
parentea9f98cfcf331ad68f10d84b2fd73795fdcd56f8
fix getdistro for debians as wheezy has gone from 7.0 to 7.1
build.common