diff man/gnus.texi @ 31718:a42f956dd8ad

(vc-revert-buffer): Set vc-checkout-time correctly.
author André Spiegel <spiegel@gnu.org>
date Tue, 19 Sep 2000 13:58:56 +0000
parents 983e65f12610
children 6c4bf57935ff
line wrap: on
line diff