diff man/display.texi @ 32093:5c36fa51ee96

(vc-revert-file): New function. (vc-revert-buffer): Delegate some of the work to it.
author André Spiegel <spiegel@gnu.org>
date Tue, 03 Oct 2000 11:22:13 +0000
parents b00126124976
children cc6228b81571
line wrap: on
line diff