diff man/reftex.texi @ 80844:ab7995acf691

ignore *.pdf
author Karl Berry <karl@gnu.org>
date Thu, 03 May 2007 16:32:07 +0000
parents 88224dc74061
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff