Wed, 20 Oct 1999 15:22:56 +0200 | wenzelm | use_text: remove last char from output; | changeset | files |
Wed, 20 Oct 1999 12:52:56 +0200 | wenzelm | option -m TARGET; | changeset | files |
Wed, 20 Oct 1999 11:06:47 +0200 | wenzelm | removed -B option; | changeset | files |