diff widgets/TipDialog.h @ 660:8663a831838f tonioni

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