undo previous change - use command line option instead
[build.git] / module-tag
1 module-tools.py