diff options
| author | Robert Norton | 2016-02-11 13:25:06 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-11 13:25:06 +0000 |
| commit | db6bb5a2f94785ebc849813bceb2185122388eae (patch) | |
| tree | 8c672e2399af6b9803d0e73b32114333ab5519e8 /src/initial_check_full_ast.ml | |
| parent | a9ef0cff423acaaa5ebbb1b1b0293c777903dcfb (diff) | |
use paths relative to current makefile for lem and linksem.
Diffstat (limited to 'src/initial_check_full_ast.ml')
0 files changed, 0 insertions, 0 deletions