| commit | e272303dc14d4717cddf6bd9f8e61decdc519ab8 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:29:15 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:29:15 1996 +0000 |
| tree | 79fa5e2322d2cbbd614b0b158168f5573e37751a | |
| parent | 061ac50ec95d5dc07071e778af1536ce69952c7d [diff] |
Added a note about incorrect "PythonCore not found" message Added a few comments on preference file handling.