From 27cb61ca14c05303d8aad2f17136f2e9f0c5fd2b Mon Sep 17 00:00:00 2001 From: Paul Mackerras Date: Thu, 15 Feb 2007 08:54:34 +1100 Subject: [PATCH] Change git repo-config to git config This is the gitk part of e0d10e1c63bc52b37bbec99b07deee794058d9b4 from Tom Prince. Signed-off-by: Paul Mackerras --- gitk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gitk b/gitk index 031c829f2..31d0aad45 100755 --- a/gitk +++ b/gitk @@ -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" -- 2.26.2