diff configure @ 100233:6b0f142e0e58

Fix breakage by #870.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 05 Dec 2008 00:02:10 +0000
parents 22693272e407
children 816fe1a75404
line wrap: on
line diff