misc/hedgewars_ico.png
author sheepluva
Mon, 21 Nov 2011 21:23:23 +0100
branch0.9.18
changeset 7911 98b806c1793d
parent 3309 a68632232d1a
permissions -rw-r--r--
this should fix the highlighting failz with non-lowercase player names like the one CheezeMonkey ran into. there is a workaround: in the user dir put the playername in <playerNameWithCorrectCase>_highlight.txt
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3309
a68632232d1a * add fixed grave Simple.png, by "anon__"
sheepluva
parents: 2675
diff changeset
     1
(binary:image/png)