diff options
author | Amin Bandali <amin@aminb.org> | 2018-05-07 00:03:55 -0400 |
---|---|---|
committer | Amin Bandali <amin@aminb.org> | 2018-05-07 00:03:55 -0400 |
commit | eba52b9ce0f011eec7710806c781ff7910dbc8e9 (patch) | |
tree | 2e12c6e465cd294fa8b8e102956885581b00f955 /.gitmodules | |
parent | 45d849973fa694c0e508482e50b49d090a7c714e (diff) | |
download | configs-eba52b9ce0f011eec7710806c781ff7910dbc8e9.tar.gz configs-eba52b9ce0f011eec7710806c781ff7910dbc8e9.tar.xz configs-eba52b9ce0f011eec7710806c781ff7910dbc8e9.zip |
[emacs] assimilate and enable dante and its dependency, lcr
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 |