diff src/.gdbinit @ 74498:695e5e6b71c1

(Colors): Note that --color is intended for overriding the terminal defaults, not for normal invocation.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 08 Dec 2006 17:22:41 +0000
parents 00776be18466
children 8079b89022bf 694bbb62a75d 7f3f771c85fa
line wrap: on
line diff