Rename git-config-set to git-repo-config
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Thu, 24 Nov 2005 10:36:01 +0000 (11:36 +0100)
committerJunio C Hamano <junkio@cox.net>
Thu, 24 Nov 2005 19:10:40 +0000 (11:10 -0800)
... and adjust all references.

Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found