[submodule "company"]
path = lib/company
url = git@github.com:company-mode/company-mode.git
+[submodule "dante"]
+ path = lib/dante
+ url = git@github.com:jyp/dante.git
[submodule "dash"]
path = lib/dash
url = git@github.com:magnars/dash.el.git
path = lib/ivy
url = git@github.com:abo-abo/swiper.git
info-path = doc
+[submodule "lcr"]
+ path = lib/lcr
+ url = git@github.com:jyp/lcr.git
[submodule "lean-mode"]
path = lib/lean-mode
url = git@github.com:leanprover/lean-mode.git