Print 'refresh done' before pushing other patches
[stgit] / doc / .gitignore
1 tutorial.html
2 tutorial.pdf