diff src/ostc3.inc @ 222:ecadc17a028f

check opt_max correctly
author heinrichsweikamp
date Tue, 06 Jan 2015 19:24:58 +0100
parents 90923a081ae7
children 940155e9aefb
line wrap: on
line diff