more put-n-paste friendly
[infrastructure.git] / scripts / diff-module.sh
2007-11-05 thierryold stuff that should have been added ages ago