comparison libgui/src/documentation-dock-widget.cc @ 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 8c47eb286151
children 4197fc428c7d
comparison
equal deleted inserted replaced
19810:e8e3a89fa370 19822:2f4406e9dad6