diff configure @ 959:9a422d610058

Fix something coverity reports as "copy-paste error" (actually it doesn't matter, but the fix reads better)
author Chris Cannam
date Wed, 03 Sep 2014 09:48:51 +0100
parents a8f3195b0761
children dbb7f0ab011e
line wrap: on
line diff