[emacs][wip] fix proof general
[~bandali/configs] / etc / .dir-locals.el
2018-12-03 Amin Bandali[emacs] disable flycheck emacs-lisp-checkdoc for files...