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