diff COPYING @ 49354:cea1991cf560

(gud-display-line): If the current file is newer than its buffer, offer to reread the file. (gud-keep-buffer): New buffer local variable. Ensures offer to reread file is made just once.
author Nick Roberts <nickrob@snap.net.nz>
date Mon, 20 Jan 2003 22:03:50 +0000
parents a21a2f14a765
children d92149473c34
line wrap: on
line diff