diff src/prefix-args.c @ 47284:efec044efb3a

Updated to texinfo 4.2.
author Pavel Jan?k <Pavel@Janik.cz>
date Fri, 06 Sep 2002 10:03:59 +0000
parents 0c4cb98fb3f4
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff