4809c4809,4815 < set cmd [concat | git diff-tree -r -s --stdin $gdtargs] --- > > set igncase_arg "" > if {$findtype eq [mc "IgnCase"]} { > set igncase_arg "-i" > } > > set cmd [concat | git diff-tree $igncase_arg -r -s --stdin $gdtargs]