[core]
	repositoryformatversion = 0
	filemode = true
	bare = false
	logallrefupdates = true
	ignorecase = true
	precomposeunicode = true
[remote "CombinatoryLogicPublic"]
	url = https://github.com/mfricke1947/CombinatoryLogicPublic.git
	fetch = +refs/heads/*:refs/remotes/CombinatoryLogicPublic/*
[branch "master"]
	remote = CombinatoryLogicPublic
	merge = refs/heads/master
