diff configure @ 815:9b354e1dcc68

Remove redundant code (from coverity scan)
author Chris Cannam
date Wed, 03 Sep 2014 11:07:12 +0100
parents 6fadabe80ad8
children 93a770ecfc98
line wrap: on
line diff