From b51b62d6d8ec3fd063401a5c994460612225ec3c Mon Sep 17 00:00:00 2001 From: Miran Bastaja Date: Sun, 17 Dec 2023 22:32:35 +0100 Subject: emacs: add magit --- share/home/emacs/emacs.el | 8 ++++++++ 1 file changed, 8 insertions(+) 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 -- cgit v1.3.1