mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2025-01-08 05:24:39 +01:00
d8d894da46
At least one device was mysteriously losing games. They were winding up with a group ID for a non-existant group. Now on startup I look for such games and assign them to a new "recovered games" group. We'll see how common this is before deciding whether it's a good enough solution. Another perhaps better solution would be to display all games, ordered by groups, rather than displaying all known groups and their games. |
||
|---|---|---|
| .. | ||
| app | ||
| gradle/wrapper | ||
| img_src | ||
| jni | ||
| res_src | ||
| scripts | ||
| website | ||
| .gitignore | ||
| Application.mk | ||
| build.gradle | ||
| gradle.properties | ||
| gradlew | ||
| gradlew.bat | ||
| id_rsa_uploader.enc | ||
| INSTALL.txt | ||
| settings.gradle | ||