diff src/hftctl.c @ 15023:6f4dd53a62d4

Make sure the GDB init file is called src/_gdbinit; if not, tell the user to rename it and abort.
author Richard M. Stallman <rms@gnu.org>
date Mon, 15 Apr 1996 18:48:06 +0000
parents c52147cf10b1
children b7aa6ac26872
line wrap: on
line diff