diff etc/Makefile @ 82767:353b15b3c5d3

* NEWS: `shell' prompts for the default directory if called with a prefix and `default-directory' is a remote file name.
author Michael Albinus <michael.albinus@gmx.de>
date Wed, 22 Aug 2007 20:08:18 +0000
parents 2c21b6f42c61
children 5c8377e7c2c6
line wrap: on
line diff