diff options
| author | Pierre Letouzey | 2017-07-27 15:17:21 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-07-27 15:24:47 +0200 |
| commit | ce3ed09acebe048f1a361ed6440a520b166a13b8 (patch) | |
| tree | 18f394d16698b8a051dfe9a050de990515d80ede /kernel/nativecode.mli | |
| parent | bd1a0abf49fe67e7f02dc562d4b81d27ed6f606c (diff) | |
Extraction TestCompile documented + mentionned in CHANGES
Also includes a minor fix of the Extraction doc (a Require was missing).
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions