Wed, 20 Oct 1999 11:06:47 +0200 | wenzelm | removed -B option; | changeset | files |
Wed, 20 Oct 1999 11:05:38 +0200 | wenzelm | tuned usage; | changeset | files |
Wed, 20 Oct 1999 11:05:06 +0200 | wenzelm | the settings environment is now statically scoped; | changeset | files |