diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-17 10:04:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-17 10:04:14 +0000 |
| commit | dfd44be957129baacbfc8ae7fdf587cfa6431129 (patch) | |
| tree | a309f6e847f9b8299fecb6a1cb08b82072f8af67 /coq/coq-local-vars.el | |
| parent | 9e1ad692f7dc96e8c2f0475de7dc2b5629e9e690 (diff) | |
Attempt to support stricter bytecomp warnings
Diffstat (limited to 'coq/coq-local-vars.el')
0 files changed, 0 insertions, 0 deletions