diff src/.gdbinit @ 44229:8c0a16af093a

(save-buffer-state): Use make-symbol to bind `modified'.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 29 Mar 2002 13:31:19 +0000
parents 1865230232b7
children 61d64f3f8e23 e5d55ed9b335
line wrap: on
line diff