diff configure @ 12940:b205f8ca892a

Moved to the TOOLS directory.
author diego
date Tue, 03 Aug 2004 00:45:55 +0000
parents e31bab90b91c
children d7e2549b377a
line wrap: on
line diff