From 61cf5823fd01601391ee5db12645cfd032d65542 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Thu, 19 May 2022 08:38:21 -0600 Subject: [PATCH] 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. --- gdb/doc/gdb.texinfo | 3 --- 1 file changed, 3 deletions(-) diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 90c307a7dd2..e5c1ee33aac 100644 --- 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 -- 2.30.2