Author: diego Date: Tue Jul 17 14:41:41 2007 New Revision: 9718 Log: Tools were moved to a subdirectory, no more need to ignore them. Modified: trunk/ (props changed)