diff run-octave.in @ 15890:44f30dcd87e0

maint: merge in gnulib changes from stable
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Thu, 03 Jan 2013 13:24:14 -0500
parents f96faf028d90
children e27d9b9b71f4
line wrap: on
line diff