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