[core]
	repositoryformatversion = 0
	filemode = true
	bare = false
	logallrefupdates = true
[remote "origin"]
	url = http://github.com/capsosk/klee/
	fetch = +refs/heads/*:refs/remotes/origin/*
[branch "lazy-init"]
	remote = origin
	merge = refs/heads/lazy-init
[branch "9.0.0-dev"]
	remote = origin
	merge = refs/heads/9.0.0-dev
