diff src/main-gui.cc @ 19816:844448ae53f3 gui-release

maint: Periodic merge of stable to gui-release.
author John W. Eaton <jwe@octave.org>
date Fri, 23 Jan 2015 15:23:09 -0500
parents b5d58667d32d
children 4197fc428c7d
line wrap: on
line diff