diff deploy/linux/docker/Dockerfile_deb.in @ 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 32718f05903d
children 015806046ebb
line wrap: on
line diff