added some tools for CI, use unprivileged user
[scripts.git] / generate-mrconfig.sh
2013-07-19 varacadded generate-mrconfig.sh for genrating a .mrconfig...