diff src/undo.c @ 39001:d13c2139752b

(vc-*-revert-file): Handle new optional arg CONTENTS-DONE.
author Andr? Spiegel <spiegel@gnu.org>
date Tue, 28 Aug 2001 17:06:36 +0000
parents d585b711c8d2
children d54a90934144
line wrap: on
line diff