diff man/info.texi @ 56552:12ee8343c078

Tiny change.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Tue, 27 Jul 2004 02:10:51 +0000
parents 8e90bf0fe781
children 2b0bfa10737d dbcd0af66869 59dcbfe97385
line wrap: on
line diff