Commit 55cb4999720f46eddb97e25e7ddc6ac068dd0bae

Carlos Martín Nieto 2014-10-23T19:05:02

config: remove the refresh function and backend field We have been refreshing on read and write for a while now, so git_config_refresh() is at best a no-op, and might just end up wasting cycles.