diff config.pri.in @ 712:8e9702c0b9c7

Support updated PaneStack options API
author Chris Cannam
date Fri, 04 Oct 2019 13:52:48 +0100
parents 70b2681665a7
children
line wrap: on
line diff