diff move-if-change @ 81941:bff8a71eeb05

* NEWS: `file-remote-p' has a new optional parameter IDENTIFICATION.
author Michael Albinus <michael.albinus@gmx.de>
date Tue, 17 Jul 2007 21:34:31 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff