checkout $tree $path: do not clobber local changes in $path not in $tree
[gitweb.git] / git-gui / lib / console.tcl
2007-05-08 Merge branch 'master' of git://repo.or.cz/git-gui