diff options
| author | Enrico Tassi | 2019-02-04 12:55:28 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-02-04 12:55:28 +0100 |
| commit | 0be49a49c41e28b2015440723882e0ca15c02d5e (patch) | |
| tree | a16bde40ecba74fee163c9710350f77ff9524095 /kernel/nativecode.ml | |
| parent | 2de5a4b0d4c7ca5c21b2aae44844019f9fbe4e81 (diff) | |
| parent | 966efd33caa990839657b485bc3eb82de332d799 (diff) | |
Merge PR #9426: [test-suite] Fix display of check.
Reviewed-by: gares
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions