[PATCH] Rename git-repo-config to git-config.

diff --git a/builtin.h b/builtin.h
index 0b3c9f62efed895bcfebe31f1164ac991ee01d41..cfe5990740b8fd00287cfe747ef83088c98f8754 100644 (file)
--- a/builtin.h
+++ b/builtin.h
@@ -53,7 +53,7 @@ extern int cmd_prune_packed(int argc, const char **argv, const char *prefix);
 extern int cmd_push(int argc, const char **argv, const char *prefix);
 extern int cmd_read_tree(int argc, const char **argv, const char *prefix);
 extern int cmd_reflog(int argc, const char **argv, const char *prefix);
-extern int cmd_repo_config(int argc, const char **argv, const char *prefix);
+extern int cmd_config(int argc, const char **argv, const char *prefix);
 extern int cmd_rerere(int argc, const char **argv, const char *prefix);
 extern int cmd_rev_list(int argc, const char **argv, const char *prefix);
 extern int cmd_rev_parse(int argc, const char **argv, const char *prefix);