Eric House 0980bcfbe5 fix another class cast exception ... But this is by inspection and, involving a dialog that is no longer posted, could probably never occur.		2017-03-07 07:35:16 -08:00
..
android	fix another class cast exception	2017-03-07 07:35:16 -08:00
common	fix timers: don't clear in snapshot case	2017-02-27 20:20:25 -08:00
dawg	Hack: use sed to strip utf-8 marker from start of file.	2016-01-04 20:38:49 -08:00
debian	ignore debian build files	2012-01-04 18:11:29 -08:00
linux	make bad phonies alert non-blocking	2017-02-20 07:20:19 -08:00
relay	fix weird double-bang thing	2016-11-09 07:45:39 -08:00
scripts	more work on script	2014-02-26 07:52:18 -08:00
tests	allow to run multiple games at once	2005-09-14 05:12:07 +00:00
wince	make trade and move confirm non-blocking	2017-02-17 08:58:20 -08:00
Makefile	include all .xml and .java files, but only if they're not named in a .gitignore file in the same directory	2014-03-01 11:44:20 -08:00