diff run-octave.in @ 31169:e37e46ef0505

maint: merge stable to default.
author Rik <rik@octave.org>
date Fri, 29 Jul 2022 20:53:45 -0700
parents 796f54d4ddbf
children 597f3ee61a48
line wrap: on
line diff