diff options
author | Tom Prince <tom.prince@ualberta.net> | 2007-01-29 03:16:53 +0300 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-01-29 03:16:53 +0300 |
commit | e0d10e1c63bc52b37bbec99b07deee794058d9b4 (patch) | |
tree | 6fa070c660ff481e226b10aadbec5b7bb3b95cc7 /gitk | |
parent | 829a686f1b50ba96cac2d88494fa339efe0c0862 (diff) |
[PATCH] Rename git-repo-config to git-config.
Signed-off-by: Tom Prince <tom.prince@ualberta.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'gitk')
-rwxr-xr-x | gitk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6193,7 +6193,7 @@ set wrcomcmd "git diff-tree --stdin -p --pretty" set gitencoding {} catch { - set gitencoding [exec git repo-config --get i18n.commitencoding] + set gitencoding [exec git config --get i18n.commitencoding] } if {$gitencoding == ""} { set gitencoding "utf-8" |