diff options
| author | Gaëtan Gilbert | 2019-02-07 13:32:38 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 17:16:39 +0100 |
| commit | 2419d4539f469214b73c2c8f6d8fe2a6ccdfdb88 (patch) | |
| tree | 2abf3466449dc540a3471f81c91d4e79ce60e019 /kernel/nativecode.ml | |
| parent | aeb5deb414daf47e0f766489742b4ef9c2529c63 (diff) | |
Fix failing coqtops in coqide.rst
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions