diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-14 02:43:53 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-14 02:43:53 +0200 |
commit | f6b1c638a17a9e3c9c1dcbac0fd748a3f13d70f3 (patch) | |
tree | 0ef679ce67ed783a21cc392d35a6d63dbd99f7a9 /src/jrummikub/ai/fdsolver/constraint/ComparatorPropagator.java | |
parent | d2e65f43461e97546799a42530872ea12afb0f8e (diff) | |
download | JRummikub-f6b1c638a17a9e3c9c1dcbac0fd748a3f13d70f3.tar JRummikub-f6b1c638a17a9e3c9c1dcbac0fd748a3f13d70f3.zip |
Adjust SettingsPanel player settings tab for game offer panel
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@432 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/ai/fdsolver/constraint/ComparatorPropagator.java')
0 files changed, 0 insertions, 0 deletions