Remove snippets warning in coq

[rbdr/dotfiles] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index ab5fb6506733df5044ca03ce54c0a8ea71c7f5b0..4a8e02981b86a2e1166ef0d074a8566a368b3b1f 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "tmux-powerline"]
-       path = tmux-powerline
-       url = git://github.com/erikw/tmux-powerline.git
+[submodule "zsh/modules/vendor/zsh-syntax-highlighting"]
+       path = zsh/modules/vendor/zsh-syntax-highlighting
+       url = https://github.com/zsh-users/zsh-syntax-highlighting.git