| Mon, 09 Dec 1996 16:41:04 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 09 Dec 1996 16:40:22 +0100 | wenzelm | added -norc option; | changeset | files |
| Mon, 09 Dec 1996 16:39:53 +0100 | wenzelm | getplatform - bash source script to augment current env; | changeset | files |