diff configure @ 16217:a42f87392820

fixes short form, better wording
author gpoirier
date Sun, 14 Aug 2005 14:56:25 +0000
parents 8ee9633a5e0d
children 683d7592d9dc
line wrap: on
line diff