* gdb.texinfo (TUI Configuration): Rename tui configuration variables.
authorStephane Carrez <stcarrez@nerim.fr>
Sat, 28 Jul 2001 19:35:20 +0000 (19:35 +0000)
committerStephane Carrez <stcarrez@nerim.fr>
Sat, 28 Jul 2001 19:35:20 +0000 (19:35 +0000)
commit732b3002515d8fd90d614d1df44fd71566352c05
tree7a26be8efa61d99359bf7dd9d74419f77731b49f
parentc9684879326b2012777a9034a4784fece5d22229
* gdb.texinfo (TUI Configuration): Rename tui configuration variables.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo