| commit | 9d19a914d0dc44b1e11265725f99389dd7364561 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 12:14:55 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 12:14:55 1995 +0000 |
| tree | 05109b8b211f320c15588cce599929fe6cf1e37f | |
| parent | ec3801080899df57f3bac3c0f376d1fef7c01e41 [diff] |
Added prompt to getfile dialog Renumbered resources