diff src/.gdbinit @ 14513:912efc7b4d10

(remove_process): Don't unlink the process marker.
author Richard M. Stallman <rms@gnu.org>
date Thu, 08 Feb 1996 04:19:31 +0000
parents 4b9062f951a5
children fb218a8bd186
line wrap: on
line diff