diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 13:06:27 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 13:06:27 +0100 |
| commit | 65df310cb360613777c165ff3328ac075d4b0fc0 (patch) | |
| tree | 0a75d8562df6d68d1011c4950885d91e7ec4cdac /home | |
| parent | e5a05c8dbad3b3e0637fc1b123e67f6af41da095 (diff) | |
load emacs mode for why3 in ~/.emacs.d
Diffstat (limited to 'home')
| -rw-r--r-- | home/config/emacs.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/home/config/emacs.nix b/home/config/emacs.nix index 2308433..186d8e5 100644 --- a/home/config/emacs.nix +++ b/home/config/emacs.nix @@ -11,4 +11,6 @@ }; home.file.".spacemacs.d/init.el".source = ./dotfiles/spacemacs; + home.file.".emacs.d/private/layers/why3/local/why3".source = + "${pkgs.why3}/share/emacs/site-lisp"; } |