diff run-octave.in @ 28194:36a27ecbfc83

maint: merge stable to default.
author John W. Eaton <jwe@octave.org>
date Wed, 08 Apr 2020 14:59:01 -0400
parents bd51beb6205e
children 0a5b15007766
line wrap: on
line diff