diff configure @ 12858:cbcc205a740e

embarassing typo and new name
author diego
date Mon, 19 Jul 2004 23:11:26 +0000
parents 88433340bfdc
children 2abd8e24eb69
line wrap: on
line diff