Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv
[satcheck.git] / .dir-locals.el
1 ((nil . ((indent-tabs-mode . t))))