hgext/pager.py
changeset 36231 72812ad205d1
parent 34669 03f7db5f8e71
child 43076 2372284d9457
equal deleted inserted replaced
36230:257f3651ada9 36231:72812ad205d1