comparison src/divemode.inc @ 428:eccae727702f

some cleanup
author heinrichsweikamp
date Wed, 15 Jun 2016 12:26:48 +0200
parents 12e85930d95c
children 9edb1359ce43
comparison
equal deleted inserted replaced
427:ceb1b7329dce 428:eccae727702f