Merge remote-tracking branch 'origin/master' into wr-on-ws
[brisk.git] / bin / conf_check.sh
2013-11-20 Matteo Nastasi ... add configuration check script between current brisk...