diff man/reftex.texi @ 74672:727ccf171510

Change from author with no copyright assignment was "tiny".
author Glenn Morris <rgm@gnu.org>
date Sun, 17 Dec 2006 06:14:02 +0000
parents 7637a6a23f0f
children 4ad431d8e164 a1a25ac6c88a
line wrap: on
line diff