diff options
| author | coqbot-app[bot] | 2020-11-09 21:58:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-09 21:58:04 +0000 |
| commit | e38d3bac150b709ffbbe6115723ce97177ace638 (patch) | |
| tree | 10ff719aa73c2150c83bcb4a9e52a75d549f1da6 /kernel/nativecode.ml | |
| parent | fa8d3d7a5e48508128a9d52720765479822e4093 (diff) | |
| parent | a3869e5371c89629ddfd8ccdd1bdc0de12efe806 (diff) | |
Merge PR #13329: [refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.
Reviewed-by: jfehrle
Reviewed-by: cpitclaudel
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions