[emacs/lean-mode] use forward slash "/" as the prefix for lean-input

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index af3aedc..db55daa 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -164,9 +164,6 @@
 [submodule "markdown-mode"]
        path = lib/markdown-mode
        url = git@github.com:jrblevin/markdown-mode.git
 [submodule "markdown-mode"]
        path = lib/markdown-mode
        url = git@github.com:jrblevin/markdown-mode.git

-[submodule "meghanada"]
-       path = lib/meghanada
-       url = git@github.com:mopemope/meghanada-emacs.git

 [submodule "memoize"]
        path = lib/memoize
        url = git@github.com:skeeto/emacs-memoize.git
 [submodule "memoize"]
        path = lib/memoize
        url = git@github.com:skeeto/emacs-memoize.git