From: Paul Mackerras Date: Wed, 14 Feb 2007 21:54:34 +0000 (+1100) Subject: Change git repo-config to git config X-Git-Url: https://privyetmir.co.uk/gitweb.cgi?a=commitdiff_plain;h=27cb61ca14c05303d8aad2f17136f2e9f0c5fd2b;p=gitk Change git repo-config to git config This is the gitk part of e0d10e1c63bc52b37bbec99b07deee794058d9b4 from Tom Prince. Signed-off-by: Paul Mackerras --- diff --git a/gitk b/gitk index 031c829..31d0aad 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"