| Tue, 26 Apr 2005 19:51:56 +0200 | wenzelm | no longer need feeder to run normal interactive sessions; | changeset | files |
| Tue, 26 Apr 2005 19:51:28 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Apr 2005 19:51:12 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | changeset | files |