diff options
| author | Robert Norton | 2016-02-11 16:45:06 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-11 16:45:37 +0000 |
| commit | 6babd41ef103ff5bb119e38b1971bd737edcaf25 (patch) | |
| tree | 7272c7a4ada23abc11975a26dc33fed71594a579 /src/parser.mly | |
| parent | 831019f5eefa1447b8601765f266afb4d9e4dcd6 (diff) | |
point to lem and linksem embedded versions of libraries instead of relying on opam provided ones.
Diffstat (limited to 'src/parser.mly')
0 files changed, 0 insertions, 0 deletions