QTfrontend/res/checked.png
author Wuzzy <almikes@aol.com>
Sat, 09 Apr 2016 08:59:29 +0200
changeset 12002 a2f0c0d0e534
parent 10556 c4ca0fc00c3b
child 13207 d948d39e5da8
permissions -rw-r--r--
HedgeEditor: Allow to modify dud mine health

(binary:image/png)