2010-05-12 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
2008-10-07 | wenzelm | updated to official version as of 07-Oct-2008; | file | diff | annotate |
2008-03-24 | wenzelm | replaced obsolete /usr/proj by /home; | file | diff | annotate |
2002-01-11 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
2000-03-06 | kleing | switched to mirroring with rsync server | file | diff | annotate |