diff configure @ 9834:5c639ec8c39e

Unbreak
author rguyom
date Fri, 04 Apr 2003 20:40:57 +0000
parents c5fd755db576
children 5e5e2d4dcdbe
line wrap: on
line diff