diff leim/makefile.w32-in @ 56320:631d0b7593ee

** file-remote-p now returns an identifier for the remote system, if the file is indeed remote. (Before, the return value was t in this case.)
author Kai Großjohann <kgrossjo@eu.uu.net>
date Fri, 02 Jul 2004 14:49:00 +0000
parents bb6720f21c54
children c45f07f05709 4c90ffeb71c5
line wrap: on
line diff