gitk: Remove the unused stopfindproc function

This was a hangover from before the "Files" and "Pickaxe" parts of
the Find function were moved to the highlight facility in commit
60f7a7dc4904ba4baab44b70e2675a01e6172f54.  It serves no useful
purpose any more, so this removes it.

Signed-off-by: Paul Mackerras <paulus@samba.org>
1 file changed
tree: 055b3f96192be63ecb45dc8c1cf4217c0314e338
  1. gitk