diff src/divemode.inc @ 259:151148e2281f

minor cleanup
author heinrichsweikamp
date Mon, 23 Mar 2015 19:58:19 +0100
parents ad62dff7739a
children 5ad479f2a868
line wrap: on
line diff