diff libgui/src/main-window.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 37d37297acf8
children 5d0663bff506
line wrap: on
line diff