Commit 693b23c09aef65a53d4523357be44654b4533065

nulltoken 2012-06-05T14:29:10

repository: make git_repository_init() value the core.ignorecase config entry