comparison src/intervals.h @ 40779:a09c65c0b5e2

Minor Texinfo usage fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 06 Nov 2001 15:46:49 +0000
parents 758ba590ccfe
children 42cb41c42e7b
comparison
equal deleted inserted replaced
40778:306eea7b9fdc 40779:a09c65c0b5e2