diff install-sh @ 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 23a1cea22d13
children
line wrap: on
line diff