diff options
| author | Clément Pit-Claudel | 2018-04-30 00:32:00 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-05-15 12:05:44 -0400 |
| commit | dc5b6e15a2db658fb36754608683b10f847b3e94 (patch) | |
| tree | da11af42a9af1dfddc200d1dd1dacc7fb3f30545 /kernel/type_errors.mli | |
| parent | 6f3a8a90514669c84be4de5726fe65f15141ca4d (diff) | |
[doc] Add an ELisp snippet to insert Sphinx roles and quotes
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions