diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/config/dotfiles/spacemacs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/home/config/dotfiles/spacemacs b/home/config/dotfiles/spacemacs index 10e585a..809b254 100644 --- a/home/config/dotfiles/spacemacs +++ b/home/config/dotfiles/spacemacs @@ -71,6 +71,7 @@ This function should only modify configuration layer settings." ;; ---------------------------------------------------------------- direnv bibli-paris + why3 ) ;; List of additional packages that will be installed without being wrapped |