log libgui/src/gui-preferences-ve.cc @ 33658:b1d6e40ac737 stable tip

age author description
Fri, 22 Dec 2023 12:08:17 -0500 John W. Eaton maint: update Octave Project Developers copyright for the new year stable
Fri, 06 Jan 2023 13:13:25 -0500 John W. Eaton update Octave Project Developers copyright for the new year
Tue, 03 Jan 2023 08:03:20 -0500 John W. Eaton update gui_pref class to match recent changes to sc_pref class