changeset 28778:471960b47afb

maint: merge stable to default.
author Rik <rik@octave.org>
date Tue, 22 Sep 2020 14:10:59 -0700
parents d2ad5e0e5aca (current diff) 0d6795d0373d (diff)
children 1be026ad8e61
files libgui/src/gui-preferences-global.h libgui/src/resource-manager.cc
diffstat 0 files changed, 0 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff