diff configure @ 519:581c72fb14a4

Remove obsolete comment
author Chris Cannam
date Fri, 16 Nov 2012 13:22:13 +0000
parents a830a57084c2
children cc4ff6fde597
line wrap: on
line diff