diff src/divemode.inc @ 139:e0b758865e91

some cleanup
author heinrichsweikamp
date Thu, 17 Jul 2014 17:56:09 +0200
parents 4574aed5cd4c
children d097e10b383b
line wrap: on
line diff