diff octave-wrapper.in @ 4786:0c6d7d14a615

* tools/makeinst-script.sh.in: Set default option page values (Bug #54457)
author John Donoghue
date Wed, 08 Aug 2018 13:57:32 -0400
parents c4899150cfc4
children
line wrap: on
line diff