diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-12 12:57:19 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-12 12:57:19 -0400 |
| commit | 4e13647d8f7a46945443e016ea3f248040be8a06 (patch) | |
| tree | e1bceefb791f74c8c0af81ea4b372b9872ca7a63 /.dir-locals.el | |
| parent | 51cd9ee4b579ca38a221011de568f275b9dfb7c6 (diff) | |
Better support for coq_makefile2 with fewer warnings
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions