comparison tools/makeinst-script.sh.in @ 7183:eb3f7b3a457c default tip @

maint: merge release to default
author John W. Eaton <jwe@octave.org>
date Mon, 29 Apr 2024 16:15:41 -0400
parents fb42442fac08
children
comparison
equal deleted inserted replaced
7180:e15cecabced0 7183:eb3f7b3a457c