comparison libgui/src/documentation-dock-widget.cc @ 31649:deb553ac2c54

maint: Merge stable to default.
author John W. Eaton <jwe@octave.org>
date Tue, 06 Dec 2022 15:45:27 -0500
parents 431f80aba37a 29d734430e5f
children 88119be1f926
comparison
equal deleted inserted replaced
31647:431f80aba37a 31649:deb553ac2c54