diff options
| author | Miran Bastaja <miran.bastaja04@gmail.com> | 2023-12-17 22:32:35 +0100 |
|---|---|---|
| committer | Miran Bastaja <miran.bastaja04@gmail.com> | 2023-12-17 22:32:35 +0100 |
| commit | b51b62d6d8ec3fd063401a5c994460612225ec3c (patch) | |
| tree | a6ebe3777f8ce0529d97c33419ac39fffb2f09da /share/home | |
| parent | f301b2f35e4778d2920ce1f20e32efda64b73b15 (diff) | |
emacs: add magit
Diffstat (limited to 'share/home')
| -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 |