diff src/param.h @ 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 3165b2697c78
children 695cf19ef79e
line wrap: on
line diff