Wed, 07 Apr 2010 20:48:13 +0100 timothy murphy comments: better commenting in resource.flm fix
Wed, 07 Apr 2010 20:31:05 +0100 timothy murphy copyright fixes fix
Wed, 07 Apr 2010 19:34:49 +0100 timothy murphy Merge in resource speedups fix
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 tip