diff src/ports.inc @ 342:7812ec7ef694

Fix low_depth shall be stored as a float (no rounding).
author jDG
date Wed, 15 Jul 2015 15:39:35 +0200
parents 56276a2418f9
children fd3865a82519
line wrap: on
line diff