aboutsummaryrefslogtreecommitdiffstats
path: root/doom/packages.el
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-04-19 11:17:58 +0100
committerYann Herklotz <git@yannherklotz.com>2022-04-19 11:17:58 +0100
commitdb69f3572bdb41d0f390c536699dca9a88fead63 (patch)
tree9adcf70912ae2c129c0ccf45788554e9b8a3ed09 /doom/packages.el
parentd066b6c848a48cb3cd6ac1562eb840c4a10101e0 (diff)
parentd38728377cdbdb676db624eae1a26315eb23f69b (diff)
downloaddotfiles-db69f3572bdb41d0f390c536699dca9a88fead63.tar.gz
dotfiles-db69f3572bdb41d0f390c536699dca9a88fead63.zip
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'doom/packages.el')
-rw-r--r--doom/packages.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/doom/packages.el b/doom/packages.el
index a9fa8ad..9089104 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)