diff options
| -rw-r--r-- | share/home/emacs/emacs.el | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/share/home/emacs/emacs.el b/share/home/emacs/emacs.el index 7603236..b12bb57 100644 --- a/share/home/emacs/emacs.el +++ b/share/home/emacs/emacs.el @@ -208,4 +208,12 @@ is already installed. This is true in our Nix environment." (use-package proof-general :mode ("\\.v\\'" . coq-mode)) +;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; Useful modes ;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Useful modes - magit ;;; + +(use-package magit) + ;;; emacs.el ends here |