diff configure @ 504:74fa499d5f3c 3.0-integration

Remove duplicate code
author Chris Cannam
date Wed, 14 Oct 2015 13:33:42 +0100
parents b36042cb972a
children d65ce7e55346
line wrap: on
line diff