Make 'push --undo' safer
[stgit] / doc / .gitignore
... / ...
CommitLineData
1tutorial.html
2tutorial.pdf