diff options
| author | Doug Evans <dje@google.com> | 2011-12-14 15:31:55 +0000 |
|---|---|---|
| committer | Doug Evans <dje@google.com> | 2011-12-14 15:31:55 +0000 |
| commit | 37acd67cf73be4c48718a6034b49e6a09eaca98d (patch) | |
| tree | d4fc6575ef34264fe18e53ada8356a7c16aef46f | |
| parent | dd110abf0474d4e6d8af047d4c7f8d9b340559ef (diff) | |
| download | gdb-37acd67cf73be4c48718a6034b49e6a09eaca98d.zip gdb-37acd67cf73be4c48718a6034b49e6a09eaca98d.tar.gz gdb-37acd67cf73be4c48718a6034b49e6a09eaca98d.tar.bz2 | |
Add PR # 7200 to: Make "!" an alias for "shell".
| -rw-r--r-- | gdb/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index ff2df39..13b7ecf 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1097,7 +1097,7 @@ 2011-11-14 Doug Evans <dje@google.com> - Make "!" an alias for "shell". + PR gdb/7200 Make "!" an alias for "shell". * NEWS: Add mention. * cli/cli-cmds.c (init_cli_cmds): Remove xdb_commands condition on adding "!" command, always add it. |