diff src/.gdbinit @ 18333:ff12edf576bf

Do <* *> via syntax table not regexps; use regexp-opt.
author Simon Marshall <simon@gnu.org>
date Thu, 19 Jun 1997 08:55:24 +0000
parents fb218a8bd186
children c572c073c982
line wrap: on
line diff