changeset 3320:f301bfef765d

maint: Add executable permission to makeinst-script.sh * makeinst-script.sh: Add executable permission to script.
author Rik <rik@octave.org>
date Wed, 13 Nov 2013 12:35:51 -0800
parents 2636b3458f4d
children cac6a7d920d2
files makeinst-script.sh
diffstat 0 files changed, 0 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff