share/hedgewars/Data/Themes/Brick/Girder.png
author Wuzzy <Wuzzy2@mail.ru>
Fri, 16 Mar 2018 16:35:08 +0100
changeset 13227 26c739440bef
parent 3735 26de8c8a5b5d
permissions -rw-r--r--
Some padding tweaks in options and team editor pages. Fixes insane width of context menu of hog name line edit
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3735
26de8c8a5b5d Remove Thumbs.db, reduce file sizes
nemo
parents: 3506
diff changeset
     1
(binary:image/png)