diff make-dist @ 81940:9c550f0c81fa

* files.texi (Magic File Names): Introduce optional parameter IDENTIFICATION for `file-remote-p'.
author Michael Albinus <michael.albinus@gmx.de>
date Tue, 17 Jul 2007 21:29:20 +0000
parents 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
line wrap: on
line diff