Remove obsolete text from documentation

The documentation says that -enable-pretty-printing is experimental in
7.0 and may change -- that's long enough ago that I think we can say
that this text is no longer correct or useful.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 90c307a7dd26a9719382bd73d1799b6d54ea9dbe..e5c1ee33aacc41c406c63fc911b20f998d29f2c1 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -33500,9 +33500,6 @@ Once enabled, this feature cannot be disabled.
 Note that if Python support has not been compiled into @value{GDBN},
 this command will still succeed (and do nothing).
 
-This feature is currently (as of @value{GDBN} 7.0) experimental, and
-may work differently in future versions of @value{GDBN}.
-
 @subheading The @code{-var-create} Command
 @findex -var-create