summaryrefslogtreecommitdiff
path: root/.gitmodules
blob: 81e455fa1f2774e801a598d94db51496f5bd230b (plain)
1
2
3
4
[submodule "dhall-lang"]
	path = dhall-lang
	url = https://github.com/dhall-lang/dhall-lang
    ignore = dirty