view doc/texmf.cnf @ 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 e9a0469dedd9
children
line wrap: on
line source

% Increase save size to run @seealso macro for Octave documentation
save_size = 10000