diff run-octave.in @ 21156:80b69efcd960

maint: Periodic merge of stable to default.
author Rik <rik@octave.org>
date Sat, 30 Jan 2016 08:22:36 -0800
parents 429f83903400
children 06c2a109935c
line wrap: on
line diff