comparison man/ediff.texi @ 55752:a7f7c0fa52a6

(texinfo-print-index): Print index line numbers in the new Texinfo 4.7 format.
author Juri Linkov <juri@jurta.org>
date Sun, 23 May 2004 20:55:28 +0000
parents 3649390c0f91
children b1ae5333057a
comparison
equal deleted inserted replaced
55751:450a4292b3b7 55752:a7f7c0fa52a6