pydoc-use-pager
authorMatthias Klose <doko@debian.org>
Thu, 24 Mar 2022 13:02:21 +0000 (13:02 +0000)
committerMatthias Klose <doko@debian.org>
Thu, 24 Mar 2022 13:02:21 +0000 (13:02 +0000)
commit7445aa28b3261500363cc69df6de524a44c8fd45
tree010d807399bf0fad9ec8c8b236fc43fd1c1ff961
parentfae05500be0032860b5b486e6be78d7228a5853f
pydoc-use-pager

# DP: pydoc: use the pager command if available.

# DP: pydoc: use the pager command if available.

Gbp-Pq: Name pydoc-use-pager.diff
Lib/pydoc.py