comparison makeinst-script.sh @ 4114:02c9f7e9792e

merge away extra head on default
author John W. Eaton <jwe@octave.org>
date Wed, 23 Mar 2016 08:50:22 -0400
parents 423925d2c032
children f2d7bb7777da
comparison
equal deleted inserted replaced
4113:39bdd415ccb1 4114:02c9f7e9792e