diff src/divemode.inc @ 182:93023d78812e

minor cleanup
author heinrichsweikamp
date Fri, 10 Oct 2014 11:13:54 +0200
parents d097e10b383b
children 3b5df65d53fc
line wrap: on
line diff