diff configure @ 23699:2c8bfc750aa5

Also remove generated tools on distclean.
author diego
date Wed, 04 Jul 2007 18:53:39 +0000
parents 528616078af2
children 9fb716ab06a3
line wrap: on
line diff