comparison configure @ 858:6b77fcc39723 tonioni

Add non-SV-preferred options
author Chris Cannam
date Wed, 04 Dec 2013 19:29:19 +0000
parents 2bd629a29fa3
children a8f3195b0761
comparison
equal deleted inserted replaced
857:cc3f78e89df0 858:6b77fcc39723