From e5a05c8dbad3b3e0637fc1b123e67f6af41da095 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Tue, 7 Dec 2021 13:05:11 +0100
Subject: spacemacs : add why3 layer

---
 home/config/dotfiles/spacemacs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'home')

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
-- 
cgit v1.2.3