7934763 Merge remote-tracking branch 'origin/master'

~ymherklotz pushed to ~ymherklotz/dotfiles git

c598a81 Add citation

~ymherklotz pushed to ~ymherklotz/dotfiles git

b558d57 Add sow mode

~ymherklotz pushed to ~ymherklotz/dotfiles git

6fdc36f Add better configuration for sow-mode

~ymherklotz pushed to ~ymherklotz/dotfiles git

0fa7033 Merge remote-tracking branch 'origin/master'

~ymherklotz pushed to ~ymherklotz/dotfiles git

b6878b8 Merge remote-tracking branch 'origin/master'

~ymherklotz pushed to ~ymherklotz/dotfiles git

064934f Adding company fixes to config.org

~ymherklotz pushed to ~ymherklotz/dotfiles git

db69f35 Merge remote-tracking branch 'origin/master'

~ymherklotz pushed to ~ymherklotz/dotfiles git

d387283 Add company-coq to doom config

~ymherklotz pushed to ~ymherklotz/dotfiles git

c2ed384 Add new email filter

~ymherklotz pushed to ~ymherklotz/dotfiles git

b45e7a9 Add config.el to .gitignore

~ymherklotz pushed to ~ymherklotz/dotfiles git

37efc28 Add .gitattributes

~ymherklotz pushed to ~ymherklotz/dotfiles git

9dc594d Add org mode configuration file

~ymherklotz pushed to ~ymherklotz/dotfiles git

278faf1 Adding alectryon mode

~ymherklotz pushed to ~ymherklotz/dotfiles git

8eee463 Merge remote-tracking branch 'origin/master'

~ymherklotz pushed to ~ymherklotz/dotfiles git