diff admin/check-doc-strings @ 47284:efec044efb3a

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