comparison configure @ 1295:11888b7e193d plugin-path-config

Fix erroneous tooltip
author Chris Cannam
date Wed, 06 Jun 2018 15:55:49 +0100
parents 3691af49291c
children
comparison
equal deleted inserted replaced
1294:9f9a7edd7d89 1295:11888b7e193d