From 8e6f4bb8286a0df876e2757b1f18665fa41c4b66 Mon Sep 17 00:00:00 2001 From: Quentin Aristote Date: Mon, 20 Sep 2021 21:04:39 +0200 Subject: add coq --- home/config/dotfiles/spacemacs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/config/dotfiles/spacemacs b/home/config/dotfiles/spacemacs index 0aa2373..794de94 100644 --- a/home/config/dotfiles/spacemacs +++ b/home/config/dotfiles/spacemacs @@ -63,7 +63,7 @@ This function should only modify configuration layer settings." emacs-lisp spacemacs-misc go markdown - ocaml + ocaml coq python ;; ---------------------------------------------------------------- ;; Private layers -- cgit v1.2.3