diff libgui/src/documentation-dock-widget.h @ 19822:2f4406e9dad6

maint: Periodic merge of gui-release to default.
author John W. Eaton <jwe@octave.org>
date Fri, 23 Jan 2015 16:40:25 -0500
parents 2d5d0d86432e
children 4197fc428c7d
line wrap: on
line diff