| commit | a8304b6bd160e4c7ede3afee4a845a54aa4f487c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 27 13:33:36 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 27 13:33:36 1995 +0000 |
| tree | 35c9336bfcdd7956b8951e572f1046d892a32b89 | |
| parent | 0168f279ccaa69a1dd82d26ff8fa3dd53f0b03c7 [diff] |
Updated 'vers' resource to 1.3 (forgot before the distribution:-) Changed option dialog to include console-window close options