| Fri, 05 May 2000 22:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 07 Oct 1999 12:19:21 +0200 | wenzelm | removed write_nonempty; | file | diff | annotate |
| Wed, 06 Oct 1999 18:11:37 +0200 | wenzelm | added write_nonempty; | file | diff | annotate |
| Tue, 09 Mar 1999 12:08:50 +0100 | wenzelm | simple string buffers; | file | diff | annotate |