diff options
| author | Li-yao Xia | 2020-11-15 11:44:29 -0500 |
|---|---|---|
| committer | Li-yao Xia | 2020-11-15 11:44:29 -0500 |
| commit | 5ec45d7206688da51ea325ab8692566e403808d8 (patch) | |
| tree | a073202d88ba36cdf4b4ec44c251919f1b14372f /kernel/nativelambda.mli | |
| parent | 93ee64000d4e121718b4735468626b481b2533bc (diff) | |
| parent | 696df507b58800a7a6b52741fd4ed859aff7b1c3 (diff) | |
Merge PR #13308: Address #13304: in coqdoc, clearly distinguish block verbatim from inline verbatim
Reviewed-by: Lysxia
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions