diff configure @ 818:5e9ff92ca05e tonioni

instrument is now "click" -- some other minor changes I don't remember
author matthiasm
date Thu, 20 Jun 2013 13:47:35 +0100
parents f5aeda36d5bd
children cefc9763dc0c fea591a66e5d
line wrap: on
line diff