Merge branch 'master' of ssh://git.onelab.eu/git/build
[build.git] / planetlab-k22-tags-deprecated.mk
2011-06-09 Thierry Parmentelatdeprecated k22 for planetlab too