projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ab763a) | patch
Found new way to fix emacs issue.. There are directory level preferences.
authorBrian Demsky <bdemsky@uci.edu>
Mon, 21 May 2012 07:25:37 +0000 (00:25 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 21 May 2012 07:25:37 +0000 (00:25 -0700)
commita21f15bd29177a34bc0c33418157cf7974dd853c
treee19ca03e1ecdc777e2f40203371a2b149fee22d7tree | snapshot
parent9ab763adc965ca76a8d65b9898d20c60cdb44445commit | diff
Found new way to fix emacs issue..  There are directory level preferences.

Remove file-level emacs comment and replace with directory level overrides.
.dir-locals.el [new file with mode: 0644] blob
C++11 memory model checker