diff src/divemode.inc @ 20:9b7dd3103545

minor cleanup
author heinrichsweikamp
date Wed, 03 Jul 2013 23:19:57 +0200
parents 04794990b619
children 50c3e2c7ba7a
line wrap: on
line diff