diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:16:45 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:16:52 +0100 |
| commit | d38728377cdbdb676db624eae1a26315eb23f69b (patch) | |
| tree | 49b860579d19f1e096ed75015e57f155d505072b /doom/packages.el | |
| parent | c2ed3843d514c1b12808ce18200fd953a52fa98d (diff) | |
| download | dotfiles-d38728377cdbdb676db624eae1a26315eb23f69b.tar.gz dotfiles-d38728377cdbdb676db624eae1a26315eb23f69b.zip | |
Add company-coq to doom config
Diffstat (limited to 'doom/packages.el')
| -rw-r--r-- | doom/packages.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doom/packages.el b/doom/packages.el index a1627fb..6b5f23c 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -1,5 +1,5 @@ ;; Disabling packages -(disable-packages! undo-tree org-bullets helm pretty-code company-coq) +(disable-packages! undo-tree org-bullets helm pretty-code) ;; `org-mode' dependencies (package! ol-notmuch) |