commit script to a more sensible location
[infrastructure.git] / scripts / diff-module.sh
2007-11-05 thierryold stuff that should have been added ages ago