diff man/gnus-faq.texi @ 29529:fd2ad6344dab

Rename make-buffer-file-executable-if-script-p.
author Dave Love <fx@gnu.org>
date Fri, 09 Jun 2000 09:55:33 +0000
parents 54fda0e8528a
children 9c198c1dc72f
line wrap: on
line diff