diff liboctave/DASRT-opts.in @ 14813:2de56de8953a gui

* main-window: Fixed bug with command window not coming up on Ctrl+0.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Thu, 28 Jun 2012 12:21:58 +0200
parents 72c96de7a403
children 61822c866ba1
line wrap: on
line diff