view build-aux/OctJavaQry.class @ 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 fafd51a1b0f0
children
line wrap: on
line source

(binary:application/java-vm)