just check git repository to see if the module is moved to git. we
[build.git] / module-diff
1 module-tools.py