diff options
Diffstat (limited to 'config/emacs/emacs.d/emacs.org')
-rw-r--r-- | config/emacs/emacs.d/emacs.org | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/emacs/emacs.d/emacs.org b/config/emacs/emacs.d/emacs.org index 5cb08fe1..6f1946b6 100644 --- a/config/emacs/emacs.d/emacs.org +++ b/config/emacs/emacs.d/emacs.org @@ -3474,6 +3474,7 @@ Add some extra symbols to prettify for Coq. #+begin_src elisp (use-package jarchive + :diminish :after eglot :config (jarchive-setup)) |