diff src/.gdbinit @ 33548:714a4c4917cd

(vc-revert-buffer): Ask for confirmation if file seems up-to-date.
author André Spiegel <spiegel@gnu.org>
date Thu, 16 Nov 2000 15:26:37 +0000
parents c49b460bb280
children 8dbc92d11de2
line wrap: on
line diff