annotate etc/gnus.pbm @ 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 64b63696a512
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
32408
64b63696a512 *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
1 (binary:image/x-portable-bitmap)