diff configure @ 662:be7c9dc84f26 tonioni

Close this sprout, which Matthias reports was subsequently implemented differently by George
author Chris Cannam
date Fri, 12 Jul 2013 13:24:34 +0100
parents 7ac63919fd52
children 2146130d1236
line wrap: on
line diff