diff options
| author | Jim Fehrle | 2021-02-10 22:56:31 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2021-04-17 09:41:42 -0700 |
| commit | e038e130188a0b43f66dfbc084cd8d9ca2cfb550 (patch) | |
| tree | b2d466d0c5ef6223ab86a0fb5abac0882cb09612 /kernel/type_errors.mli | |
| parent | f337187f0ac4c2062031225234fd23b436b979b5 (diff) | |
Include (* ... *) comments in .. coqtop:: directives in Sphinx output
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions