chiark / gitweb /
directory refactoring: Rename no_local_git_cfg