diff src/main-gui.cc @ 18088:c2822fb91973 stable

maint: Merge changes for release candidate.
author John W. Eaton <jwe@octave.org>
date Thu, 05 Dec 2013 10:42:05 -0500
parents b5d58667d32d
children 4197fc428c7d
line wrap: on
line diff