diff run-octave.in @ 31175:2b8e8637a64e

maint: merge stable to default
author Rik <rik@octave.org>
date Wed, 03 Aug 2022 15:44:17 -0700
parents 796f54d4ddbf
children 597f3ee61a48
line wrap: on
line diff