diff src/.gdbinit @ 36289:931b5c1e2d14

(Completion Options): Add an index for "ignored file names".
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Feb 2001 13:33:05 +0000
parents f440b9766968
children d2dfa348e7d8
line wrap: on
line diff