equal
deleted
inserted
replaced
1 # pager.py - display output using a pager |
1 # pager.py - display output using a pager |
2 # |
2 # |
3 # Copyright 2008 David Soria Parra <dsp@php.net> |
3 # Copyright 2008 David Soria Parra <dsp@php.net> |
4 # |
4 # |
5 # This software may be used and distributed according to the terms of the |
5 # This software may be used and distributed according to the terms of the |
6 # GNU General Public License version 2, incorporated herein by reference. |
6 # GNU General Public License version 2 or any later version. |
7 # |
7 # |
8 # To load the extension, add it to your .hgrc file: |
8 # To load the extension, add it to your .hgrc file: |
9 # |
9 # |
10 # [extension] |
10 # [extension] |
11 # pager = |
11 # pager = |