log src/Icons/dive_warning2.inc @ 655:c7b7b8a358cd default tip

age author description
Mon, 03 Jun 2019 14:01:48 +0200 heinrichsweikamp 3.03 beta released
Thu, 22 Nov 2018 19:47:26 +0100 heinrichsweikamp bump to 2.99beta, work on 3.00 stable