comparison man/reftex.texi @ 35355:581e16bc15c7

(eudc-server, eudc-protocol): Fix :type.
author Dave Love <fx@gnu.org>
date Wed, 17 Jan 2001 11:41:05 +0000
parents 6679ef9b33fe
children c7c99d08c223
comparison
equal deleted inserted replaced
35354:79fc57d014ca 35355:581e16bc15c7