diff src/.gdbinit @ 42929:193c9307d562

(basic-save-buffer-2): Ignore file-error in delete-file.
author Richard M. Stallman <rms@gnu.org>
date Thu, 24 Jan 2002 18:55:53 +0000
parents 1865230232b7
children 61d64f3f8e23 e5d55ed9b335
line wrap: on
line diff