diff src/.gdbinit @ 76629:50806525e635

(basic-save-buffer): Do not set visited filename when the corresponding directory does not exist or the specified filename is that of an existing directory.
author Martin Rudalics <rudalics@gmx.at>
date Tue, 20 Mar 2007 09:35:42 +0000
parents a0627ed0c1aa
children 922696f363b0 edf631bdbb7a dd7c098af727
line wrap: on
line diff