| Thu, 28 Sep 2000 14:35:42 +0200 | wenzelm | ./build -b -m Pure-copied Pure; | changeset | files |
| Thu, 28 Sep 2000 14:35:23 +0200 | wenzelm | only run quick_and_dirty version by default; | changeset | files |
| Thu, 28 Sep 2000 14:34:49 +0200 | wenzelm | tuned; | changeset | files |