| Wed, 13 Sep 2000 22:27:53 +0200 | wenzelm | easy settings: add /usr/local prefix; | changeset | files |
| Wed, 13 Sep 2000 22:27:26 +0200 | wenzelm | updated to 3.3d; | changeset | files |
| Wed, 13 Sep 2000 22:27:10 +0200 | wenzelm | tar packages: /usr/local; | changeset | files |