| Wed, 20 Sep 2000 21:20:41 +0200 | wenzelm | removed dead code; | changeset | files |
| Wed, 20 Sep 2000 21:20:26 +0200 | wenzelm | added "install" target; | changeset | files |
| Wed, 20 Sep 2000 21:20:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 20 Sep 2000 14:59:19 +0200 | wenzelm | tuned rpm command lines; | changeset | files |
| Wed, 20 Sep 2000 00:50:09 +0200 | wenzelm | updated; | changeset | files |
| Wed, 20 Sep 2000 00:02:26 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 19 Sep 2000 23:54:25 +0200 | wenzelm | added common args keywords; | changeset | files |