gitk: Fix wrong merge

This fixes the wrong conflict resolution of merge
5673e9999d
This commit is contained in:
Steffen Prohaska
2008-08-16 16:11:28 +02:00
parent 0e85bae739
commit 7c2ca98651

View File

@@ -9993,4 +9993,4 @@ if {[info exists permviews]} {
}
}
focus -force .
getcommits
getcommits {}