Change git repo-config to git config

paulusmack · paulusmack · commit 27cb61ca14c0 · 2007-02-15T08:54:34.000+11:00
This is the gitk part of e0d10e1 from Tom Prince. Signed-off-by: Paul Mackerras <paulus@samba.org>
diff --git 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"

Original file line number	Diff line number	Diff line change
`@@ -6193,7 +6193,7 @@ set wrcomcmd "git diff-tree --stdin -p --pretty"`
`6193`	`6193`
`6194`	`6194`	`set gitencoding {}`
`6195`	`6195`	`catch {`
`6196`		`- set gitencoding [exec git repo-config --get i18n.commitencoding]`
	`6196`	`+ set gitencoding [exec git config --get i18n.commitencoding]`
`6197`	`6197`	`}`
`6198`	`6198`	`if {$gitencoding == ""} {`
`6199`	`6199`	`set gitencoding "utf-8"`