skip ejabberd on f12 as well, it's not useful anyway as the stock
[build.git] / module-diff
1 module-tools.py