diff configure @ 8641:8ceb8a8b7244

bashism
author diego
date Sun, 29 Dec 2002 19:38:40 +0000
parents b9927004eacc
children 30bb40f02e1e
line wrap: on
line diff