| commit | 0e1337437c725ba62098a2b887445ee648a4bb61 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 13:39:16 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 13:39:16 1995 +0000 |
| tree | 0cd27ed1e8464d4a79d78434228742f54f2bf66a | |
| parent | 4518577b2402bf45691bd39ff1e010aa562378e2 [diff] |
Documented PromptGetFile and optional prompt to GetDirectory.