diff configure.in @ 2831:72041d295c0b

Fix breakage caused by banner change
author bartv
date Thu, 26 Feb 2009 12:53:32 +0000
parents 74dbf4c3f2e1
children
line wrap: on
line diff