Add to documentation of Python 'dont_repeat' method
authorTom Tromey <tom@tromey.com>
Sat, 19 Feb 2022 16:33:12 +0000 (09:33 -0700)
committerTom Tromey <tom@tromey.com>
Wed, 15 Jun 2022 20:00:39 +0000 (14:00 -0600)
commit285dfa0f6877ea7677e84c3c1001c5d339fbbe5e
tree89081cddd07fedb7d1aaddcc65a43dcea71abcdc
parentb9b66a3a5740dfa0cf929a9c9abcdbaabe989358
Add to documentation of Python 'dont_repeat' method

PR python/28533 points out that the Python 'dont_repeat' documentation
is a bit ambiguous about when the method ought to be called.  This
patch spells it out.
gdb/doc/python.texi