diff options
| -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 |