diff configure @ 392:836afacacd92

Back out earlier experimental switch to select tool for default
author Chris Cannam
date Mon, 10 Nov 2014 14:41:00 +0000
parents 56109ef020b4
children a0eedd10dee3
line wrap: on
line diff