Commit b0b527e0ad7b2b0d58e3d5039339d29892206f2d

Vicent Marti 2011-05-20T03:20:12

config: Cleanup & renaming of the external API "git_config_backend" have been renamed to "git_config_file", which implements a generic interface to access a configuration file -- be it either on disk, from a DB or whatever mumbojumbo. I think this makes more sense.