Henrik Lissner 742f9d23a2 Merge pull request #823 from patrl/moreCoq ...

Put company-coq behind conditional

2018-08-22 03:35:34 +02:00

..

app

💥 Rewrite line numbers system for Emacs 25

2018-08-21 03:34:39 +02:00

collab

Add :collab floobits #615

2018-05-26 21:20:30 +02:00

completion

Minor reformatting & comment tweaks

2018-08-21 03:34:39 +02:00

config

Rebind SPC o a -> org-agenda

2018-08-16 11:35:11 +02:00

editor

New :editor format module

2018-08-22 02:20:11 +02:00

emacs

Move hideshow config from ui/doom->emacs/hideshow

2018-08-03 18:20:27 +02:00

feature

Fix "Select a root directory" prompts

2018-08-20 12:43:26 +02:00

lang

Merge pull request #823 from patrl/moreCoq

2018-08-22 03:35:34 +02:00

tools

tools/magit: don't make new windows too tall

2018-08-21 22:45:42 +02:00

ui

Minor reformatting & comment tweaks

2018-08-21 03:34:39 +02:00