diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-09-20 21:04:39 +0200 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-09-20 21:04:39 +0200 |
| commit | 8e6f4bb8286a0df876e2757b1f18665fa41c4b66 (patch) | |
| tree | 54aae38180ccd96cf9cd75520247c16ecc15a6d5 /home | |
| parent | 38cfa2de807f802895a192676d2afde7995d0ed8 (diff) | |
add coq
Diffstat (limited to 'home')
| -rw-r--r-- | home/config/dotfiles/spacemacs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |