diff options
| author | Maxime Dénès | 2017-04-09 23:17:52 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-09 23:19:02 +0200 |
| commit | 6257e1c400ab42d3bd18eb5d18dab381ea913a0a (patch) | |
| tree | f26d4a2e822e42ce4b44a8259c2238a3bbf8d3ab /kernel/nativelambda.mli | |
| parent | 2c0287fe8445bd4b599bf8498bcb71b2a7df0d51 (diff) | |
| parent | bd76257f84dcaef90498a85342077a743855f565 (diff) | |
Merge PR#460: Turning the printing primitive projection compatibility flag off by default
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions