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".