Eric House 79e852a9eb change ID of duplicate menu ... Board and Games List were using same menuid which meant that even when chosen from Board's menu it would up getting handled by GamesList (in dual-pane mode.)		2017-09-28 06:50:16 -07:00
..
android	change ID of duplicate menu	2017-09-28 06:50:16 -07:00
common	add compile-time option for forcing square board	2017-09-13 07:38:22 -07:00
dawg	put back a couple of words -- not dirty!	2017-05-05 06:48:52 -07:00
debian	ignore debian build files	2012-01-04 18:11:29 -08:00
linux	fix crash drawing game timer	2017-09-20 07:26:26 -07:00
relay	fix three-year-old huuuuge memory leak	2017-06-07 08:07:42 -07: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