view info/.gitignore @ 103779:d8f620ade0dc

(gdb): Remove description of gdb-use-separate-io-buffer. (menu): Don't allow toggling of or enable gdb-use-separate-io-buffer from menubar.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 08 Jul 2009 04:51:57 +0000
parents 214450de83bc
children ef719132ddfa
line wrap: on
line source

*

# arch-tag: 4cf702c2-f50e-49bd-a3ff-4fd962c5975a