diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-12 19:44:09 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-12 19:44:09 -0500 |
| commit | 6e9d8a2b6d4b998de8aae4a2b694af3d1dff97db (patch) | |
| tree | acace633e626cbaab0816f24451c487c9227706b /.gitmodules | |
| parent | f18f27de2410fd0b90f7c358076dbc91c44f0222 (diff) | |
| download | configs-6e9d8a2b6d4b998de8aae4a2b694af3d1dff97db.tar.gz configs-6e9d8a2b6d4b998de8aae4a2b694af3d1dff97db.tar.xz configs-6e9d8a2b6d4b998de8aae4a2b694af3d1dff97db.zip | |
[emacs] disable highlight-indent-guides
quite nice and pretty, but i don’t think it’s necessary, and i feel it
adds some latency
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 069d432..1c5d913 100644 --- a/.gitmodules +++ b/.gitmodules @@ -116,9 +116,6 @@ [submodule "helpful"] path = lib/helpful url = git@github.com:Wilfred/helpful.git -[submodule "highlight-indent-guides"] - path = lib/highlight-indent-guides - url = git@github.com:DarthFennec/highlight-indent-guides.git [submodule "hl-todo"] path = lib/hl-todo url = git@github.com:tarsius/hl-todo.git |