revert wrong merge
[build.git] / adopt-master
1 module-tools.py