diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 58bb23c..39edd99 100644 --- a/.gitmodules +++ b/.gitmodules @@ -16,6 +16,9 @@ [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 @@ -71,6 +74,9 @@ 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 |