hgext/pager.py
changeset 12711 b885f28fa4fa
parent 12695 05077896ffe2
child 12876 a3b182dd548a
equal deleted inserted replaced
12710:e23895aea892 12711:b885f28fa4fa