diff man/info.texi @ 26951:b0cf9bf5d505

(completion-ignored-extensions): Add .pdf.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 19 Dec 1999 16:11:55 +0000
parents 539960b7d9ac
children 507b4d56cee2
line wrap: on
line diff