aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
blob: 37937bd8e575c46eb0e9e4885b98d82346e122b4 (plain) (blame)
1
2
3
4
[submodule "scala-backend"]
	path = scala-backend
	url = https://github.com/lampepfl/scala.git
	branch = sharing-backend