| commit | 20fa6754d1f345f1ab12d9fc47595511858a11ee | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Apr 16 12:15:34 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Apr 16 12:15:34 2003 +0000 |
| tree | 0f6b452435cfeffefad7bc55a1e5177b724926df | |
| parent | 5688b7ac3edc756ab8d619b6f0993d54010ab20e [diff] |
Allow switching of install dir after creation of preferences. Changed some message to be clearer when presented by Package Manager.