diff oct-conf-post-public.in.h @ 31192:7401a2501be4

maint: merge stable to default
author Rik <rik@octave.org>
date Mon, 15 Aug 2022 21:06:21 -0700
parents 3e395f6fc03a
children e7fc6251b698
line wrap: on
line diff