| commit | a460f446e92daaf8cd16df773d7646ad6fc8be67 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 17 12:21:05 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 17 12:21:05 2003 +0000 |
| tree | 5823759d623e24c9f4e404916199b5978d480080 | |
| parent | 251b816297bcbb63041cfb70cc6710952c86dd3a [diff] |
- Added support for zip archives - Better messages in case of a crash of the install-test script