diff configure @ 12416:32210276491d

unnecessary escape
author diego
date Tue, 04 May 2004 14:18:40 +0000
parents 2ee88c8d13ed
children 5e6c15e84624
line wrap: on
line diff