diff widgets/TipDialog.h @ 1295:11888b7e193d plugin-path-config

Fix erroneous tooltip
author Chris Cannam
date Wed, 06 Jun 2018 15:55:49 +0100
parents d632a1e87018
children a18e78b9c78b
line wrap: on
line diff