diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-01-21 16:28:00 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-21 16:28:00 +0000 |
| commit | 200ad36e96c3b97440019e6300b3dbaf91c44d4d (patch) | |
| tree | fe4de1ccfe31eea0af90cd97337873a3f0567b68 /doom/packages.el | |
| parent | 8dd7d18c328e7c3b70f453f7e507dd561d035f2f (diff) | |
| download | dotfiles-200ad36e96c3b97440019e6300b3dbaf91c44d4d.tar.gz dotfiles-200ad36e96c3b97440019e6300b3dbaf91c44d4d.zip | |
Update configuration for emacs and afew
Diffstat (limited to 'doom/packages.el')
| -rw-r--r-- | doom/packages.el | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doom/packages.el b/doom/packages.el index 65802ab..5354ee5 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -2,12 +2,9 @@ (disable-packages! undo-tree org-bullets helm pretty-code company-coq) ;; `org-mode' dependencies -(package! org-ref) (package! ol-notmuch) ;; `org-bullets' replacement (package! org-superstar) -(package! ox-reveal) -(package! ox-tufte) (package! ox-gfm) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) @@ -32,18 +29,12 @@ (package! yaml-mode) (package! pollen-mode) -;;(package! tree-sitter) -;;(package! tree-sitter-langs) - ;; Nix (package! direnv) ;; Misc dependencies (package! hungry-delete) -;; Coq -;;(package! alectryon) ;; Coq documentation tool - ;; Teaching (package! boogie-friends) @@ -56,4 +47,3 @@ ;; Themes (package! color-theme-sanityinc-tomorrow) (package! modus-themes) -(package! elpher) |