diff man/gnus-faq.texi @ 69093:0ab6ebe82ad7

(reftex-locate-file): Search all extensions if `reftex-try-all-extensions' is set.
author Carsten Dominik <dominik@science.uva.nl>
date Wed, 22 Feb 2006 07:21:09 +0000
parents c0aa521e0ca7
children 235590a9d340 4da4a09e8b1b
line wrap: on
line diff