add override configuration file option to builder.sh
[brisk.git] / bin / procmsg.sh
2009-03-29 Matteo Nastasi ... messages reader