diff configure @ 827:98c396477e0b

Fix a bug in patch I fixed back in 2010 but forgot to apply here.
author Rob Landley <rob@landley.net>
date Thu, 21 Mar 2013 23:23:49 -0500
parents 0ef095b63a66
children 67eedf74a707
line wrap: on
line diff