https://github.com/seahorn/seahorn
Raw File
Tip revision: f2450cf3f90ea357b58fa1aa51d5f605f74c5d4e authored by Arie Gurfinkel on 02 October 2022, 16:22:29 UTC
chore(transforms): update to new alignment API
Tip revision: f2450cf
.dir-locals.el
;;; Directory Local Variables
;;; For more information see (info "(emacs) Directory Variables")

(
 (c++-mode (c-basic-offset . 2))
 (c-mode . ((c-basic-offset . 2)))
 (nil . ((eval . (add-to-list 'auto-mode-alist '("\\.h\\'" . c++-mode)))
         (eval . (if (boundp 'c-offsets-alist)
                     (add-to-list 'c-offsets-alist '(innamespace . -))))
         (eval . (setq lsp-file-watch-threshold nil))
         ))
 )
back to top