Andy2 c996e98624 replace two menuitems, default-robot and default-human, with a single ... that invokes a dialog giving an explanation and three choices: robot, human and both.		2011-05-14 11:04:19 -07:00
..
scripts	first cut at script to do stuff with xml string resources, e.g. find strings that aren't used	2011-05-10 18:26:54 -07:00
XWords4	replace two menuitems, default-robot and default-human, with a single	2011-05-14 11:04:19 -07:00
Application.mk	initial checkin of jni source and build scripts for android port	2010-01-02 19:10:08 +00:00
INSTALL.txt	fix for new location. Need to get this out of git somehow.	2010-06-07 06:11:11 -07:00