diff configure @ 4383:8a0d7bd2d193

avoids a warning
author pl
date Sun, 27 Jan 2002 17:16:10 +0000
parents d45744794581
children 2b6c3b1a9676
line wrap: on
line diff