add head and tail to graphviz output and all title of tables and users at the bottom...
[brisk.git] / bin / girones.sh
2013-09-02 Matteo Nastasi ... add head and tail to graphviz output and all title...
2013-09-02 Matteo Nastasi ... girones.sh script added