eehouse f78ff6786a replace menuitem to juggle players with button; place it and add ... player button below player list; remove heading above phonies, adding "phonies" to each spinner text; add "game settings" heading. Still need to find a way to make the headings pop visually.		2010-04-23 08:54:04 +00:00
..
android	replace menuitem to juggle players with button; place it and add	2010-04-23 08:54:04 +00:00
common	limit depth of zoom further	2010-04-17 04:16:17 +00:00
dawg	Useful ftell, commented out.	2009-03-29 18:13:09 +00:00
linux	add better missing-param messages	2010-04-20 02:39:06 +00:00
relay	add option, off by default, to stall each message forward by some time	2010-03-28 16:09:07 +00:00
tests	allow to run multiple games at once	2005-09-14 05:12:07 +00:00
wince	fix r3013 breakage: remove gameID params	2010-02-01 01:50:38 +00:00
.gitignore	add some .gitignore files	2010-02-24 04:28:34 +00:00
Makefile	include java files in TAGS	2010-01-25 02:09:08 +00:00