diff files.pri @ 712:8e9702c0b9c7

Support updated PaneStack options API
author Chris Cannam
date Fri, 04 Oct 2019 13:52:48 +0100
parents 4f53620962d9
children dac3781826da 48001ed9143b 36772d79cf44
line wrap: on
line diff