https://github.com/seahorn/seahorn
Tip revision: f2450cf3f90ea357b58fa1aa51d5f605f74c5d4e authored by Arie Gurfinkel on 02 October 2022, 16:22:29 UTC
chore(transforms): update to new alignment API
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))
))
)