diff src/.gdbinit @ 22208:5b05d45bfbbf

(grep-tag-default): New function. (grep): New default arg when prefix arg is specified.
author Richard M. Stallman <rms@gnu.org>
date Sun, 24 May 1998 01:10:12 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff