diff options
| author | Hugo Herbelin | 2015-03-03 12:15:56 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-03-03 18:08:03 +0100 |
| commit | dc9e41d116854e35bf9c1765d9c6e3bc475383a1 (patch) | |
| tree | b2a8e37c1d46a24c45e9d91b33bff8415d1b6cc3 /plugins/pluginsbyte.itarget | |
| parent | 9256b2eae87f342473dccc05308ffe4758780795 (diff) | |
Reinstalling search of camlpX in camldir, when given, for
compatibility with pre-1b7d4a033af heuristic in searching camlpX
(continuation of a joint patch with Maxime).
Typo basename -> dirname.
Diffstat (limited to 'plugins/pluginsbyte.itarget')
0 files changed, 0 insertions, 0 deletions