comparison src/ports.inc @ 222:ecadc17a028f

check opt_max correctly
author heinrichsweikamp
date Tue, 06 Jan 2015 19:24:58 +0100
parents 56276a2418f9
children fd3865a82519
comparison
equal deleted inserted replaced
221:90923a081ae7 222:ecadc17a028f