diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 13:28:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 13:28:47 +0000 |
commit | 0a766df1831e1cf3301d523cc6d9ba1fe85ff103 (patch) | |
tree | 51da1d7ac71b99b219e08e3f103ba0b8af6a7256 /coq/coq-local-vars.el | |
parent | b8f1c989957e96767993d0fc21ced894e3445489 (diff) |
Moved doc of holes to holes-mode
Diffstat (limited to 'coq/coq-local-vars.el')
0 files changed, 0 insertions, 0 deletions