diff man/cl.texi @ 56552:12ee8343c078

Tiny change.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Tue, 27 Jul 2004 02:10:51 +0000
parents 1986f67220dd
children bae786986f2e 4c90ffeb71c5
line wrap: on
line diff