diff options
| author | Clément Pit-Claudel | 2018-04-29 23:55:51 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-05-15 12:05:44 -0400 |
| commit | 6f3a8a90514669c84be4de5726fe65f15141ca4d (patch) | |
| tree | 63a3e351d237a3aa020bd653292fd0778a996762 /dev/tools/coqdev.el | |
| parent | efa6ef592e29bb4bc862a114c399d660580bba66 (diff) | |
[doc] Add a README to doc/sphinx/
The readme is auto-generated by combining introductory text with the docstrings
in coqdomain.py.
Diffstat (limited to 'dev/tools/coqdev.el')
0 files changed, 0 insertions, 0 deletions