diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 20:32:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 20:32:22 +0000 |
| commit | 2b6176e2d3c7d907f29e3b4c59e843b75c068840 (patch) | |
| tree | 365b62227f4c85cec602b3b685b9b324bc342920 /coq/coq-local-vars.el | |
| parent | 903d8016dd1302e0c52c2ca1266e11d7c83a94e9 (diff) | |
Target to build an Emacs package
Diffstat (limited to 'coq/coq-local-vars.el')
0 files changed, 0 insertions, 0 deletions