| commit | d5d5f462f9a8ff6f2d0e982c3c7f3fff3b683dcf | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 12:22:56 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 12:22:56 1995 +0000 |
| tree | d9b8a107c57cb0316d5e9073dd7fe9a78cb9b6dd | |
| parent | 9c45a6504fbc828ed37778674b9ccabae27ae543 [diff] |
Added new call PromptGetFile (like StandardGetFile, but accepts a prompt) and added optional prompt to GetDirectory.