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