diff options
Diffstat (limited to 'gdb/mi/gdbmi.texinfo')
| -rw-r--r-- | gdb/mi/gdbmi.texinfo | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gdb/mi/gdbmi.texinfo b/gdb/mi/gdbmi.texinfo index d2799d7..2f9dc8d 100644 --- a/gdb/mi/gdbmi.texinfo +++ b/gdb/mi/gdbmi.texinfo @@ -294,14 +294,6 @@ depending on the needs---this is still in development). @end table @noindent -In addition, the following are still being developed: - -@table @code -@item @var{query} -This action is currently undefined. -@end table - -@noindent Notes: @itemize @bullet |