diff options
| author | Robert Norton | 2018-04-26 13:25:35 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-26 13:25:35 +0100 |
| commit | ae12f0feb0978eb1f511482293b1d1a20fb04ee4 (patch) | |
| tree | c13452b4e9b2dd4c5db4946912979c5d8f00c65d /src/process_file.ml | |
| parent | df13578f590badfb73fb3c62e045af15fa1a9573 (diff) | |
Make ocamlbuild assume lem is in path instead of relative to current directory.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions