diff options
| author | Enrico Tassi | 2019-10-22 10:17:57 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-10-22 10:17:57 +0200 |
| commit | 23a825c1b02b50991f0bed9e3f71197a46c639a5 (patch) | |
| tree | 38b47cdaefadca1ef6fe180ca9242b9995454813 /kernel/nativelambda.mli | |
| parent | 72723186dd179838c9c11b8fcaf3f1f088eddd93 (diff) | |
| parent | 3f5417422b7498514a148242979431aa2990c584 (diff) | |
Merge PR #10886: test-suite/Makefile: work when manually involved for dune-compiled Coq
Reviewed-by: gares
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions