diff man/display.texi @ 31835:67ea0d3e062b

(vc-rcs-checkin): Fix bug that prevented check-in without explicit revision number.
author André Spiegel <spiegel@gnu.org>
date Fri, 22 Sep 2000 07:48:08 +0000
parents b00126124976
children cc6228b81571
line wrap: on
line diff