diff options
| author | David Aspinall | 2002-08-29 10:06:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 10:06:43 +0000 |
| commit | 81a038a185dac18aa4dcdbb25e9405b86f3fed92 (patch) | |
| tree | 80fb732b19000b1719b5bf17c12c0185647dc423 /FAQ | |
| parent | 6199ac1b23f3c1663d0b6e2793c599361a4e08db (diff) | |
Add additional path to proof-locate-executable.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions