Barend Gehrels 073d157dd6 [partition] enhance performance of partition where substantial part of one
or both collections are exceeding the separation line. Formerly they were
always handled quadraticly. Now they are partitioned as well.
2014-12-12 19:18:07 +01:00
..
2013-10-24 06:10:34 +00:00
2014-05-23 10:55:06 +02:00
2012-01-12 20:58:20 +00:00
2013-10-24 06:10:34 +00:00
2014-01-09 09:09:56 +00:00
2012-01-12 20:58:20 +00:00