diff configure @ 12960:a85bfb689e62

Some explanation what the tool is good for added.
author diego
date Thu, 05 Aug 2004 00:07:47 +0000
parents d7e2549b377a
children 9818bc37b807
line wrap: on
line diff