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.