Tue, 18 Aug 2009 16:27:31 -0500 wpaul fixed bug #9644. also fixed build hammer tooltip which had the same underlying cause.
Tue, 18 Aug 2009 12:42:12 -0500 ryall Sync with changes in public CDT.
(0) -30 -10 -2 +2 +10 +30 tip