diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-13 11:22:56 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-14 14:39:53 -0500 |
commit | d3d7622f881956d61e771fecc0b9b0240ff30857 (patch) | |
tree | 4d4add850dc81727b298ae259760001a1c7e8ca0 /coq/coq-syntax.el | |
parent | 27b07f7565013a35d2f1727a5d052078b4262da8 (diff) |
Add a few comments to explain values of coq-load-path
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions