Skip to content
Snippets Groups Projects
Commit 0b49b6eb authored by Johannes Mey's avatar Johannes Mey
Browse files

try to fix CI by using different remote for extendj

parent 2cd5ed17
No related branches found
No related tags found
No related merge requests found
[submodule "extendj"] [submodule "extendj"]
path = extendj path = extendj
url = git@git-st.inf.tu-dresden.de:jastadd/extendj.git url = https://bitbucket.org/extendj/extendj.git
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment