diff DOCS/README @ 23699:2c8bfc750aa5

Also remove generated tools on distclean.
author diego
date Wed, 04 Jul 2007 18:53:39 +0000
parents 5c232a30d497
children 4c9698666a4c
line wrap: on
line diff