Barend Gehrels 40a6525bb2 [sectionalize] remove effectively unused parameter enlarge_section_boxes:
It was used inconsistently in two places. If necessary, library code
can call enlarge_sections explicitly afterwards.
It was erroneous (if not enlarge then enlarge).
In case of robust policies it was redundant.
2014-12-20 15:53:51 +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