diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-22 05:44:23 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-22 05:44:23 +0200 |
commit | 77e119e77d6834388b4943fd80bc3c8aed8ee67e (patch) | |
tree | d293b8fb2f539e56872090a2052606a2769de13e /src/jrummikub/view/impl/PausePanel.java | |
parent | ba421e2c8b06d3de3381a003a92d3be148a6548e (diff) | |
download | JRummikub-77e119e77d6834388b4943fd80bc3c8aed8ee67e.tar JRummikub-77e119e77d6834388b4943fd80bc3c8aed8ee67e.zip |
Correctly handle disappearing players during games
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@577 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view/impl/PausePanel.java')
0 files changed, 0 insertions, 0 deletions