diff man/misc.texi @ 54621:14d929e67a70

Modify interactive declaration.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Sun, 28 Mar 2004 22:29:31 +0000
parents 01fa7e81affb
children 136f1c16dc45
line wrap: on
line diff