diff options
Diffstat (limited to '.dir-locals.el')
-rw-r--r-- | .dir-locals.el | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 3845517..8cafc6e 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -1,19 +1,19 @@ ;; Copyright (C) 2013 Galois, Inc. ;; Copyright (C) 2014, 2015 Benjamin Barenblat ;; -;; This library is free software: you can redistribute it and/or modify it -;; under the terms of the GNU General Public License as published by the Free -;; Software Foundation, either version 3 of the License, or (at your option) -;; any later version. +;; This library is free software: you can redistribute it and/or modify it under +;; the terms of the GNU General Public License as published by the Free Software +;; Foundation, either version 3 of the License, or (at your option) any later +;; version. ;; ;; This library is distributed in the hope that it will be useful, but WITHOUT -;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or -;; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for -;; more details. +;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS +;; FOR A PARTICULAR PURPOSE. See the GNU General Public License for more +;; details. ;; ;; You should have received a copy of the GNU General Public License along with ;; this library. If not, see <http://www.gnu.org/licenses/>. -((nil . ((fill-column . 79) +((nil . ((fill-column . 80) (indent-tabs-mode . nil))) (makefile-automake-mode . ((indent-tabs-mode . t)))) |