fix getdistro for debians as wheezy has gone from 7.0 to 7.1
[build.git] / config.wexlxc.gitpath
1 # make sure to invoke remote_pldistro appropriately in the Makefile
2 git://git.onelab.eu/wextoolbox@wexlxc