diff deploy/src/archive-tip.sh @ 2538:9910ba30a572

Update subrepos with various performance tweaks; when rebuilding menus, delete old actions (turns out addAction(QAction*) doesn't take ownership - I did know this once, but...)
author Chris Cannam
date Thu, 14 May 2020 16:40:20 +0100
parents b578440bbca6
children 7535f13569fa
line wrap: on
line diff