diff man/reftex.texi @ 43318:4d3d5610eea8

Corrected the fix to 127167.
author John Wiegley <johnw@newartisans.com>
date Sat, 16 Feb 2002 06:43:19 +0000
parents 421e0a91a1d1
children 2406cf2da1d4
line wrap: on
line diff