diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-22 03:48:51 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-22 03:48:51 +0200 |
commit | 670e4e819859d0927e870ff973ea2dabe5b170a4 (patch) | |
tree | 0667707adf826e0f1016bf5885ebe53fb199cbef /src/jrummikub/view/ISidePanel.java | |
parent | d2a96a4503215bc7c3521e12cd90aec250e1df4e (diff) | |
download | JRummikub-670e4e819859d0927e870ff973ea2dabe5b170a4.tar JRummikub-670e4e819859d0927e870ff973ea2dabe5b170a4.zip |
GameOfferControl: Handle disappearing players correctly
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@572 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view/ISidePanel.java')
0 files changed, 0 insertions, 0 deletions