diff octave.doap @ 31641:ab33554f97d2

fix another error introduced in changeset ad014fc78bd6 * gui-settings.cc (gui_settings::config_icon_theme): Use value of global_all_icon_themes from settings if it exists.
author John W. Eaton <jwe@octave.org>
date Tue, 06 Dec 2022 11:10:48 -0500
parents fe2c64849660
children
line wrap: on
line diff