diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 20:16:28 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-03-08 15:06:17 -0500 |
commit | cb3f86402688e2f920d0cdc326874505d5e3aa6f (patch) | |
tree | 090dece7cbdedcc2f04b50d333ee1abd7b402e1d /doc/README.documentation | |
parent | d3170a0cbe470cd620bc16e04eb148e554047d35 (diff) |
Add a FIXME in coq.el
Diffstat (limited to 'doc/README.documentation')
0 files changed, 0 insertions, 0 deletions