diff TOOLS/Makefile @ 14803:a14a7d6cb7ab

-format description updated to match current behavior.
author diego
date Fri, 25 Feb 2005 03:07:39 +0000
parents 03188593a9fe
children 7bae32bc0ed7
line wrap: on
line diff