Mercurial > public > hwos_code
diff src/ports.inc @ 222:ecadc17a028f
check opt_max correctly
author | heinrichsweikamp |
---|---|
date | Tue, 06 Jan 2015 19:24:58 +0100 |
parents | 56276a2418f9 |
children | fd3865a82519 |
author | heinrichsweikamp |
---|---|
date | Tue, 06 Jan 2015 19:24:58 +0100 |
parents | 56276a2418f9 |
children | fd3865a82519 |