commit | 9bfae985abfcfc444754be9579d654f765e062dc | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 29 13:52:16 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 29 13:52:16 2001 +0000 |
tree | 5a90be88734ece11774235ea9fd6b3a1250eff8b | |
parent | a19a168cccbc61b2a002475dd3b966b50983003e [diff] |
Changed some of the dialogs to be a little clearer.