| Wed, 12 May 2010 13:54:49 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Thu, 26 Jun 1997 11:15:55 +0200 | wenzelm | oops; | file | diff | annotate |
| Thu, 26 Jun 1997 11:14:46 +0200 | wenzelm | rearrange pages of ps file to be printed as booklet (duplex); | file | diff | annotate |