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