QTfrontend/res/frontendicon.png
author Wuzzy <almikes@aol.com>
Fri, 20 Oct 2017 13:27:48 +0200
changeset 12712 31f7e0a31736
parent 12478 3ed556dad4ec
permissions -rw-r--r--
AI player checks if it can use tardis before selecting it
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12478
3ed556dad4ec Change icon for frontend group box in options menu
Wuzzy <almikes@aol.com>
parents:
diff changeset
     1
(binary:image/png)