misc/hedgewars.png
author sheepluva
Mon, 21 Nov 2011 21:23:23 +0100
branch0.9.17
changeset 6408 58d0195ec76e
parent 5249 d4447442c7d8
child 13557 54b9fd6f4e84
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:
5249
d4447442c7d8 revert back to 512x512
nemo
parents: 4344
diff changeset
     1
(binary:image/png)