diff options
| author | Maxime Dénès | 2016-09-30 10:19:38 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-09-30 10:19:38 +0200 |
| commit | 1b2d1628dfa52e6c1a5a0c328b80829b03cea58f (patch) | |
| tree | 60a8ef4c90db2c3552abdd2882482daa7948034c /kernel/nativelambda.ml | |
| parent | 916d5fcc32f5110f23b60b21489d89598e6b8674 (diff) | |
| parent | 411973d14a95b043f93ed6d0ca628a6a98e3c221 (diff) | |
Merge remote-tracking branch 'github/pr/257' into v8.6
Was PR#257: [checker] Fix/fine tune printing.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions