diff src/divemode.inc @ 409:f141018d66b0

minor docu update
author heinrichsweikamp
date Wed, 24 Feb 2016 09:57:08 +0100
parents 08fea401be24
children 12e85930d95c
line wrap: on
line diff