diff options
| author | Théo Zimmermann | 2019-10-28 10:11:57 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-28 10:11:57 +0100 |
| commit | b5d1c31e2d10084935d36a67e0d44b725210b979 (patch) | |
| tree | f995d900de98610508bd23e0fbaca63e1e80e56f /kernel/nativecode.ml | |
| parent | 943dcfec49b38267488e01cc680fa456739b92cc (diff) | |
| parent | fd2d25ecc856e28cf3459aaaeef1652da83c461f (diff) | |
Merge PR #10976: Fix link to `coq-notes.md`
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions