diff autopull.sh @ 31624:302b260cf585

fix small error introduced in changeset ad014fc78bd6 * resource-manager.cc (resource_manager::resource_manager): Create local gui_settings object after calling check_settings.
author John W. Eaton <jwe@octave.org>
date Sat, 03 Dec 2022 00:48:23 -0500
parents e98fb9b4be86
children e6d339b9309d
line wrap: on
line diff