log

age author description
Thu, 28 Feb 2002 09:59:08 +0000 Andr Spiegel (vc-revert-buffer): If the buffer is not saved, prompt the user to do