diff oct-conf-post-public.in.h @ 31169:e37e46ef0505

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