diff options
-rw-r--r-- | doom/packages.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doom/packages.el b/doom/packages.el index 04ddb37..3be7349 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -62,6 +62,9 @@ ;; Proof general (package! proof-general) +;; Bibtex stuff +(package! ebib) + ;; Misc dependencies (package! hungry-delete) (package! vagrant-tramp) |