4 [submodule "all-the-icons"]
5 path = lib/all-the-icons
6 url = git@github.com:domtronn/all-the-icons.el.git
7 [submodule "alloy-mode"]
9 url = git@github.com:dwwmmn/alloy-mode.git
12 url = git@github.com:jwiegley/emacs-async.git
13 [submodule "auto-compile"]
14 path = lib/auto-compile
15 url = git@github.com:emacscollective/auto-compile.git
18 url = git@github.com:emacscollective/borg.git
21 url = git@github.com:emacscollective/closql.git
24 url = git@github.com:company-mode/company-mode.git
27 url = git@github.com:jyp/dante.git
30 url = git@github.com:magnars/dash.el.git
31 no-makeinfo = dash-template.texi
32 # dash creates a `dir' dash info file, which makes git think
33 # that the submodule is dirty. so, let's ignore the untracked
34 # files of dash's submodule
38 url = git@github.com:dgutov/diff-hl.git
39 [submodule "doom-modeline"]
40 path = lib/doom-modeline
41 url = git@github.com:seagle0128/doom-modeline.git
42 [submodule "eink-theme"]
44 url = git@github.com:maio/eink-emacs.git
45 remote = aminb git@github.com:aminb/eink-emacs.git
46 [submodule "eldoc-eval"]
48 url = git@github.com:thierryvolpiatto/eldoc-eval.git
51 url = git@github.com:skeeto/emacsql.git
52 no-byte-compile = emacsql-pg.el
55 url = git@github.com:emacscollective/epkg.git
58 url = git@github.com:cask/epl.git
61 url = git@github.com:emacs-evil/evil.git
62 [submodule "evil-escape"]
63 path = lib/evil-escape
64 url = git@github.com:syl20bnr/evil-escape.git
65 [submodule "exec-path-from-shell"]
66 path = lib/exec-path-from-shell
67 url = git@github.com:purcell/exec-path-from-shell.git
70 url = git@github.com:rejeep/f.el.git
71 [submodule "flycheck"]
73 url = git@github.com:flycheck/flycheck.git
74 [submodule "flycheck-haskell"]
75 path = lib/flycheck-haskell
76 url = git@github.com:flycheck/flycheck-haskell.git
79 url = git@github.com:noctuid/general.el.git
82 url = git@github.com:magit/ghub.git
83 [submodule "git-modes"]
85 url = git@github.com:magit/git-modes.git
86 [submodule "haskell-mode"]
87 path = lib/haskell-mode
88 url = git@github.com:haskell/haskell-mode.git
91 url = git@github.com:emacs-helm/helm.git
92 [submodule "hlint-refactor"]
93 path = lib/hlint-refactor
94 url = git@github.com:mpickering/hlint-refactor-mode.git
97 url = git@github.com:hniksic/emacs-htmlize.git
100 url = git@github.com:abo-abo/hydra.git
103 url = git@github.com:abo-abo/swiper.git
107 url = git@github.com:jyp/lcr.git
108 [submodule "lean-mode"]
110 url = git@github.com:leanprover/lean-mode.git
113 url = git@github.com:magit/magit.git
114 recursive-byte-compile = true
115 info-path = Documentation
116 [submodule "magit-popup"]
117 path = lib/magit-popup
118 url = git@github.com:magit/magit-popup.git
119 [submodule "markdown-mode"]
120 path = lib/markdown-mode
121 url = git@github.com:jrblevin/markdown-mode.git
122 [submodule "memoize"]
124 url = git@github.com:skeeto/emacs-memoize.git
125 [submodule "no-littering"]
126 path = lib/no-littering
127 url = git@github.com:emacscollective/no-littering.git
128 [submodule "notmuch"]
130 url = https://git.notmuchmail.org/git/notmuch
132 info-path = doc/_build/texinfo
133 build-step = ./configure
135 build-step = make sphinx-texinfo
136 build-step = borg-makeinfo
137 [submodule "ox-hugo"]
139 url = git@github.com:kaushalmodi/ox-hugo.git
142 url = git@github.com:emacscollective/packed.git
143 [submodule "pkg-info"]
145 url = git@github.com:lunaryorn/pkg-info.el.git
148 url = git@github.com:auto-complete/popup-el.git
149 [submodule "projectile"]
150 path = lib/projectile
151 url = git@github.com:bbatsov/projectile.git
152 [submodule "proof-site"] # Proof General
153 path = lib/proof-site
154 url = git@github.com:ProofGeneral/PG.git
157 url = git@github.com:magnars/s.el.git
158 [submodule "shrink-path"]
159 path = lib/shrink-path
160 url = git@gitlab.com:bennya/shrink-path.el.git
161 [submodule "smex"] # used by counsel-M-x
163 url = git@github.com:nonsequitur/smex.git
164 [submodule "tao-theme"]
166 url = git@github.com:11111000000/tao-theme-emacs.git
167 remote = aminb git@github.com:aminb/tao-theme-emacs.git
168 [submodule "undo-tree"]
170 url = git@github.com:emacsorphanage/undo-tree.git
171 [submodule "use-package"]
172 path = lib/use-package
173 url = git@github.com:jwiegley/use-package.git
174 [submodule "which-key"]
176 url = git@github.com:justbur/emacs-which-key.git
177 [submodule "with-editor"]
178 path = lib/with-editor
179 url = git@github.com:magit/with-editor.git
180 [submodule "yaml-mode"]
182 url = git@github.com:yoshiki/yaml-mode.git