diff configure @ 8920:951ffe17a153

not needed.
author pontscho
date Sun, 12 Jan 2003 18:35:53 +0000
parents d2cb317c7f16
children 90195705ae00
line wrap: on
line diff