diff TOOLS/Makefile @ 13790:92a9afe47452

better wording
author diego
date Thu, 28 Oct 2004 15:53:47 +0000
parents 03188593a9fe
children 7bae32bc0ed7
line wrap: on
line diff