diff src/.gdbinit @ 62615:c9e18de90ee3

Use write-file-functions instead of write-file-hooks.
author Richard M. Stallman <rms@gnu.org>
date Sun, 22 May 2005 13:31:22 +0000
parents 123211374403
children a8fa7c632ee4 21eea50897a7 f042e7c0fe20
line wrap: on
line diff