| commit | 8f728592be8fc79aed58ff544262f2786bb565e9 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 08 21:18:54 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 08 21:18:54 2001 +0000 |
| tree | 7bb71d3affcd612f4f3c0bf0b138da9ded7e5c7e | |
| parent | c4db476c87f3639857ee657cee2b090b4fcd9e04 [diff] |
Added a warning message about the delay after installation. Untested.