diff src/.gdbinit @ 27522:65d84be1e92d

(command-line): Use w32-tty-standard-colors when in w32 console mode.
author Jason Rumney <jasonr@gnu.org>
date Sun, 30 Jan 2000 19:02:51 +0000
parents c26a9f95a880
children 88e0ba67d3bc
line wrap: on
line diff