Wed, 21 Apr 2010 12:02:51 -0500 give worst-case 'merge' merge-tool lowest priority
David Champion <dgc@uchicago.edu> [Wed, 21 Apr 2010 12:02:51 -0500] rev 11147
give worst-case 'merge' merge-tool lowest priority Another tool had -10 already. Since 'merge' is clearly a worst-case tool (internal), lowering to -100 ensures there's plenty of room for slightly better cases.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip