comparison 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
comparison
equal deleted inserted replaced
15563:e8e8c3fa657b 15564:b66be1cb12ca