diff src/divemode.inc @ 548:abf3cbd5815e

minor cleanup, 2.25 stable RC3
author heinrichsweikamp
date Fri, 08 Sep 2017 14:04:38 +0200
parents cf68fe0c3002
children b7eb98dbd800
line wrap: on
line diff