diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-08-06T18·45+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-08-06T18·45+0000 |
| commit | 9d091ee99a9b962c72b3cb9485a89ba028dd1155 (patch) | |
| tree | c8085f53e8d3620f7971be69c308cdf8ed7f6d36 /misc | |
| parent | 00a724ebc6f049009ce0810b0ac44dd11199d88b (diff) | |
* Handle the case where the search path element is a regular file.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions