Pipe the 'patches --diff' output through the pager
[stgit] / doc / .gitignore
CommitLineData
2297d0e9
PR
1tutorial.html
2tutorial.pdf