Jason Evans af76f0e5d2 Remove --with-lg-tiny-min.
This option isn't useful in practice.

This partially resolves #580.
2017-04-24 11:48:28 -07:00
..
2017-03-06 15:08:43 -08:00
2017-03-06 15:08:43 -08:00
2017-03-07 10:25:33 -08:00
2017-04-24 11:48:28 -07:00
2017-03-06 15:08:43 -08:00