diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 19:18:11 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 19:18:11 +0100 |
| commit | 62390a35835c4d0f6e3b901c02ac2fc38b90f376 (patch) | |
| tree | ff6d67c533379f4c209622b165f49a13a81cfc3f | |
| parent | 1a4ad01928ae316466f166c61060f57a39031b54 (diff) | |
move link to why3 lib in why3 spacemacs layer
| -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"; } |