diff configure @ 505:ce6917c761a3 3.0-integration

Remove source (now unused)
author Chris Cannam
date Wed, 14 Oct 2015 13:34:07 +0100
parents b36042cb972a
children d65ce7e55346
line wrap: on
line diff