scripts/unify-sources.sh
2009-09-29 Copyright notices added to scripts
2009-05-08 Fix the faulty merge of unify-sources.sh in [586b65073025]
2009-04-28 Merge
2009-03-27 Bug fix in unify-sources.sh (#245)
2009-04-27 unify-sources.sh refresh the dates according to the last modification
2008-11-30 Improve unify-sources.sh (#186)
2008-10-28 Use standard error/warning message format in the unifier script
2008-10-22 Merge
2008-10-20 Print the failed line numbers in the unifier script (ticket #138)
2008-10-20 Small improvements in the unifier script
2008-10-20 Better help message and user question in unify-sources.sh
2008-10-19 Improved unifier and checker script
2008-07-13 Better source unifier