hgext/pager.py
changeset 28119 91a827e760df
parent 27128 efceacd6a0c6
child 28320 63c2864af25f
equal deleted inserted replaced
28118:0e3835c7e1cf 28119:91a827e760df