diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-10 14:12:07 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-10 14:12:07 +0200 |
| commit | d940351fe4ce6c59718661e261d44d23a5c5fcd7 (patch) | |
| tree | cea69834b6ca9b3245db8fc52ee806870b6ebcae /src/jrummikub/model/PlayerSettings.java | |
| parent | 594065b4ba5229f49eb911a0af3d9b7683973262 (diff) | |
| download | JRummikub-d940351fe4ce6c59718661e261d44d23a5c5fcd7.tar JRummikub-d940351fe4ce6c59718661e261d44d23a5c5fcd7.zip | |
Fix down button arrow size
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@394 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/model/PlayerSettings.java')
0 files changed, 0 insertions, 0 deletions