diff configure @ 674:17fbb120222b

Remove duplicate shortcut
author Chris Cannam
date Thu, 05 Dec 2013 10:56:21 +0000
parents 854668a6a33a
children f45af8d8091e 72c1dd980802
line wrap: on
line diff