view scripts/gui/.oct-config @ 31592:d6f9be74b208

maint: merge stable to default
author Rik <rik@octave.org>
date Tue, 29 Nov 2022 13:15:17 -0800
parents 02b97abbc6fc
children
line wrap: on
line source

encoding=utf-8