| Tue, 23 Oct 2001 19:12:58 +0200 | wenzelm | unset DISPLAY (again); | file | diff | annotate |
| Mon, 22 Oct 2001 11:01:30 +0200 | wenzelm | keep DISPLAY; | file | diff | annotate |
| Sat, 20 Oct 2001 20:14:56 +0200 | wenzelm | -o pdf: produce *both* eps and pdf; | file | diff | annotate |
| Tue, 16 Oct 2001 19:56:31 +0200 | berghofe | Tuned. | file | diff | annotate |
| Tue, 16 Oct 2001 17:25:44 +0200 | wenzelm | option -o FILE --output to FILE (ps, eps, pdf); | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Wed, 22 Nov 2000 21:41:39 +0100 | wenzelm | tuned; | file | diff | annotate |