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