summaryrefslogtreecommitdiff
path: root/.gitmodules
blob: 16b16c4eb88384f3db2f561f3ae172fd23bf6b10 (plain)
1
2
3
[submodule "dhall-lang"]
	path = dhall-lang
	url = https://github.com/dhall-lang/dhall-lang