diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-01-02 15:49:29 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-02 15:56:25 +0000 |
commit | d350f40314b12d63933a4ea8679f58b216c8673d (patch) | |
tree | e2cdb8278cb62dc29dba19dfd847990c5e0389bb /doom/packages.el | |
parent | 532c99d5b9556812e8ab72bc17ce0a94bf8a2fe7 (diff) | |
download | dotfiles-d350f40314b12d63933a4ea8679f58b216c8673d.tar.gz dotfiles-d350f40314b12d63933a4ea8679f58b216c8673d.zip |
Update doom configuration and add ox-gfm
Diffstat (limited to 'doom/packages.el')
-rw-r--r-- | doom/packages.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doom/packages.el b/doom/packages.el index 56d91e8..65802ab 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -8,6 +8,7 @@ (package! org-superstar) (package! ox-reveal) (package! ox-tufte) +(package! ox-gfm) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) (package! org-zettelkasten @@ -41,6 +42,7 @@ (package! hungry-delete) ;; Coq +;;(package! alectryon) ;; Coq documentation tool ;; Teaching (package! boogie-friends) |