diff options
author | dgp <dgp@users.sourceforge.net> | 2016-08-26 13:49:07 (GMT) |
---|---|---|
committer | dgp <dgp@users.sourceforge.net> | 2016-08-26 13:49:07 (GMT) |
commit | 6eb9e4367cece63b5ba975098c2d3ad41915a0fa (patch) | |
tree | addbbc852f865ab3ddf4b0a12da664cc69c458b1 /tools | |
parent | eafb0a9f0995dbf657c3c8ece8da5579bd6cb72b (diff) | |
parent | a6063330c474dde9b388bfeda1b1bb746aebf23a (diff) | |
download | tcl-6eb9e4367cece63b5ba975098c2d3ad41915a0fa.zip tcl-6eb9e4367cece63b5ba975098c2d3ad41915a0fa.tar.gz tcl-6eb9e4367cece63b5ba975098c2d3ad41915a0fa.tar.bz2 |
Merge dup-removal into search loop so we avoid pre-processing efforts on data that are never used. Contributed patch from Brian Griffin.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions