diff src/mkoctfile.in.sh @ 15564:b66be1cb12ca default tip

Merge proper file rename
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Thu, 25 Oct 2012 16:48:35 -0400
parents 648dabbb4c6b
children
line wrap: on
line diff