diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 13:05:11 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 13:05:11 +0100 |
| commit | e5a05c8dbad3b3e0637fc1b123e67f6af41da095 (patch) | |
| tree | cea3a1ea2c940a1e03b2c936b6d1e4796fc7d5ac /home/config/dotfiles | |
| parent | 39fd7ee12f3c05f419b0eb87b7270af3581b9eed (diff) | |
spacemacs : add why3 layer
Diffstat (limited to 'home/config/dotfiles')
| -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 |