| commit | a58d89eec4ac8be87d120e76952195e282eb5ef6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 11 13:19:52 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 11 13:19:52 1996 +0000 |
| tree | b20935b010d3418ce4b1c032d0e1ad3efa624ecf | |
| parent | 145c92dfb5592782c3cac0e7d3875b236585afb6 [diff] |
'documented' resource-number useage of EditPythonPrefs