diff mercurial/verify.py @ 31029:d6a703af975b

cat: migrate to modern pager API
author Augie Fackler <augie@google.com>
date Mon, 06 Feb 2017 22:57:52 -0500
parents 5249b6470de9
children b044c339c06d
line wrap: on
line diff