Andy2 8bf8383d60 reread preferences in case of an upgrade. Fixes bug where default ... port was 0 because the new key, meant to change the value, was not being initialized. It's a hack to use a side-effect to determine whether this is an upgrade, but since I'm already calculating it didn't see any point to doing it again.		2010-11-01 18:56:23 -07:00
..
scripts	nuke debugging echo	2010-06-20 09:31:21 -07:00
XWords4	reread preferences in case of an upgrade. Fixes bug where default	2010-11-01 18:56:23 -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