diff doc/misc/reftex.texi @ 111267:7f0afd30f764

More merge fixes.
author Juanma Barranquero <lekktu@gmail.com>
date Sun, 31 Oct 2010 19:38:16 +0100
parents a91e94388547
children 376148b31b5e
line wrap: on
line diff