# HG changeset patch
# User heinrichsweikamp <bitbucket@heinrichsweikamp.com>
# Date 1553010218 0
# Node ID 05df3b39561558af838ff9b4f6664f123301a647
# Parent  cca59de24fe08775840c1c519a115c49bb7137e7# Parent  f23b9055436f430d001c6b7085f3b80188efe7fc
Merged in janlmulder/ostc4/div-fixes-cleanup-1 (pull request #7)

Bugfix: show proper dive mode (and misc. cleanup)