diff scripts/.oct-config @ 33584:3fe954c2fd25 default tip @

maint: merge stable to default
author Rik <rik@octave.org>
date Mon, 13 May 2024 11:41:11 -0700
parents 02b97abbc6fc
children
line wrap: on
line diff