commit | 292b0f96f3f87d47766b0fa3ac5123ff24ef829d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sat Jul 29 13:52:37 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Jul 29 13:52:37 1995 +0000 |
tree | 64a1b3044a50e322fe315e4cc964b1c503741a9d | |
parent | cc456fbe82cf55fcec71d4237b86cea2bc1c1cef [diff] |
Added code so you canset "command line options" if you option-click/drag python. Needs a new dialog resource.