hgext/pager.py
changeset 41767 15d3facfa40a
parent 34669 03f7db5f8e71
child 43076 2372284d9457
equal deleted inserted replaced
41766:062e9ebc3215 41767:15d3facfa40a