diff man/regs.texi @ 73143:c8d5b07603bf

ebnf2ps changes.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Wed, 27 Sep 2006 02:38:13 +0000
parents dc2d5a6655a3
children 4ad431d8e164 c5406394f567
line wrap: on
line diff