diff etc/GNU @ 63676:5a0f08de3a11

(Miscellaneous): Texinfo usage fix.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 23 Jun 2005 01:20:30 +0000
parents c38d0cd4d5c8
children 9a786788b2b7 f042e7c0fe20
line wrap: on
line diff