fix getdistro for debians as wheezy has gone from 7.0 to 7.1
[build.git] / norm-tags.py
2011-07-11 S.Çağlar OnurMerge branch 'planetlab/master'
2011-06-09 Thierry Parmentelatfix usage
2011-06-09 Thierry Parmentelatutility for comparing tags files