diff doc/texinfo.tex @ 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 b5a1a2d0be7e
children
line wrap: on
line diff