diff options
| author | Théo Zimmermann | 2020-06-10 15:45:15 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-10 17:04:58 +0200 |
| commit | ba8c793ed4947b04ee3f8157e8a3d1dd8d529eeb (patch) | |
| tree | ad66c3fffa90a53bdf58140214ec63e7946117a8 /kernel/nativelambda.mli | |
| parent | e2afb5b493612e96e0c86e769d9486486494580c (diff) | |
Fix the build of Elpi by calling Dune directly.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions