diff options
author | 2016-03-29 14:40:40 +0200 | |
---|---|---|
committer | 2016-03-29 14:40:40 +0200 | |
commit | 8e41d3105b573c625a36b18c6442b3c362be45c7 (patch) | |
tree | f294cdfbb173fb2fc10b871506ae7dd0ab1b4e1e /scripts/build/makedep.py | |
parent | 12d7c21c658ee94837e6210836d7a89301a65fd9 (diff) |
added -plugins / -noplugins (to enable or disable plugins in total) [Miodrag Milanovic]
and -plugin highscore (will enable just that plugin)
and -noplugin highscore (will disable just that plugin)
plugin/noplugin use comma separated list of plugins
Diffstat (limited to 'scripts/build/makedep.py')
0 files changed, 0 insertions, 0 deletions