diff bootstrap.conf @ 28209:63f5c721cfde

maint: merge stable to default.
author Rik <rik@octave.org>
date Sat, 11 Apr 2020 16:26:19 -0700
parents 6948260b8fcf
children d13ad9dc9348 f00e92f9e85b
line wrap: on
line diff