From d38728377cdbdb676db624eae1a26315eb23f69b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 19 Apr 2022 11:16:45 +0100
Subject: Add company-coq to doom config

---
 doom/packages.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doom/packages.el')

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)
-- 
cgit