use config file to run explain_update
[brisk.git] / bin / 5fire.sh
2017-02-22 Matteo Nastasi ... add scripts to manage minutes and statistics