diff options
Diffstat (limited to 'home/config/emacs.nix')
| -rw-r--r-- | home/config/emacs.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/config/emacs.nix b/home/config/emacs.nix index 186d8e5..3758cb0 100644 --- a/home/config/emacs.nix +++ b/home/config/emacs.nix @@ -11,6 +11,6 @@ }; home.file.".spacemacs.d/init.el".source = ./dotfiles/spacemacs; - home.file.".emacs.d/private/layers/why3/local/why3".source = + home.file.".emacs.d/private/layers/why3/local/why3.backup".source = "${pkgs.why3}/share/emacs/site-lisp"; } |