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