diff src/divemode.inc @ 148:022b886eddaf

some cleanup
author heinrichsweikamp
date Wed, 06 Aug 2014 17:38:31 +0200
parents 4574aed5cd4c
children d097e10b383b
line wrap: on
line diff