diff src/.gdbinit @ 57038:791b0637af6d

(desktop-clear-preserve-buffers): Remove make-obsolete-variable.
author Lars Hansen <larsh@soem.dk>
date Thu, 09 Sep 2004 19:44:37 +0000
parents c17438f97e46
children aca7edaa93d4 14e5707213a6 4c90ffeb71c5
line wrap: on
line diff