diff src/s/gnu-linux.h @ 47284:efec044efb3a

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