| commit | 80cf5a8c4c6e0be14d7618e86f0d62b3e0679f67 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 08 13:21:37 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 08 13:21:37 1997 +0000 |
| tree | ab2649427aed667e19b8afc83b1fef1aafa3abd3 | |
| parent | 3b3a287d124f97b440777a4656bdf2af87b39c06 [diff] |
The python preference resource now has a version number, and "optimize" has replaced "don't print".