| commit | 68f1d45531d8e526917b9c0fe08c6e89d051b446 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Jun 18 19:57:01 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Jun 18 19:57:01 1995 +0000 |
| tree | 78501156173784f024fd2709686b9ac74b14ea9e | |
| parent | e5e2cdde1503a58779c5016cb053828d18ce4301 [diff] |
Obtain path from a resource (unless USE_BUILTIN_PATH is #defined)