diff src/unexnext.c @ 40779:a09c65c0b5e2

Minor Texinfo usage fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 06 Nov 2001 15:46:49 +0000
parents 4383d4a532de
children 23a1cea22d13
line wrap: on
line diff