.gitmodules

[submodule "mb-rep"]
  path = mb-rep
  url = https://github.com/metaborg/mb-rep.git
  branch = master
[submodule "mb-exec"]
  path = mb-exec
  url = https://github.com/metaborg/mb-exec.git
  branch = master
[submodule "jsglr"]
  path = jsglr
  url = https://github.com/metaborg/jsglr.git
  branch = master
[submodule "runtime-libraries"]
  path = runtime-libraries
  url = https://github.com/metaborg/runtime-libraries.git
  branch = master
[submodule "spoofax"]
  path = spoofax
  url = https://github.com/metaborg/spoofax.git
  branch = master
[submodule "releng"]
  path = releng
  url = https://github.com/metaborg/spoofax-deploy.git
  branch = master
[submodule "sdf"]
  path = sdf
  url = https://github.com/metaborg/sdf.git
  branch = master
[submodule "esv"]
  path = esv
  url = https://github.com/metaborg/esv.git
  branch = master
[submodule "stratego"]
  path = stratego
  url = https://github.com/metaborg/stratego.git
  branch = master
[submodule "nabl"]
  path = nabl
  url = https://github.com/metaborg/nabl.git
  branch = master
[submodule "ts"]
  path = ts
  url = https://github.com/metaborg/ts.git
  branch = master
[submodule "spt"]
  path = spt
  url = https://github.com/metaborg/spt.git
  branch = master
[submodule "strategoxt"]
  path = strategoxt
  url = https://github.com/metaborg/strategoxt.git
  branch = master
[submodule "spoofax-sunshine"]
  path = spoofax-sunshine
  url = https://github.com/metaborg/spoofax-sunshine.git
  branch = master
[submodule "dynsem"]
  path = dynsem
  url = https://github.com/metaborg/dynsem.git
  branch = master
[submodule "spoofax-maven"]
  path = spoofax-maven
  url = https://github.com/metaborg/spoofax-maven.git
  branch = master
[submodule "spoofax-eclipse"]
  path = spoofax-eclipse
  url = https://github.com/metaborg/spoofax-eclipse.git
  branch = master
[submodule "spoofax-intellij"]
	path = spoofax-intellij
	url = https://github.com/metaborg/spoofax-intellij.git
	branch = master
[submodule "metaborg-coq"]
	path = metaborg-coq
	url = https://github.com/MetaBorgCube/metaborg-coq.git
	branch = master
[submodule "spg"]
  path = spg
  url = https://github.com/metaborg/spg.git
  branch = master
[submodule "flowspec"]
	path = flowspec
	url = https://github.com/metaborg/flowspec.git
  branch = master