Skip to content
Snippets Groups Projects
.gitmodules 260 B
Newer Older
[submodule "CodeMirror-TeX-input"]
	path = frontend/classic/external/CodeMirror-TeX-input
	url = https://github.com/ejgallego/CodeMirror-TeX-input.git
[submodule "vendor/coq-serapi"]
	path = vendor/coq-serapi
	url = https://github.com/ejgallego/coq-serapi.git