diff options
author | John Keeping <john@keeping.me.uk> | 2013-11-10 15:47:28 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-11-12 14:10:17 -0800 |
commit | eb8e7e1d9a946f439e0e35f2ada9efb434ea8b60 (patch) | |
tree | 2479a148f96b819e4ad425bc6bb4458bc491a943 /builtin/config.c | |
parent | 0ecd94d7d728606e0047a44e60a277ff4e7b3990 (diff) | |
download | git-eb8e7e1d9a946f439e0e35f2ada9efb434ea8b60.tar.gz |
repo-config: remove deprecated alias for "git config"
The release notes for Git 1.5.4 say that "git repo-config" will be
removed in the next feature release. Since Git 2.0 is nearly here,
remove it.
Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/config.c')
-rw-r--r-- | builtin/config.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/builtin/config.c b/builtin/config.c index 20e89fe4e0..92ebf23f0a 100644 --- a/builtin/config.c +++ b/builtin/config.c @@ -671,9 +671,3 @@ int cmd_config(int argc, const char **argv, const char *prefix) return 0; } - -int cmd_repo_config(int argc, const char **argv, const char *prefix) -{ - fprintf(stderr, "WARNING: git repo-config is deprecated in favor of git config.\n"); - return cmd_config(argc, argv, prefix); -} |