user-manual: reset to ORIG_HEAD not HEAD to undo merge
[git.git] / t / .gitignore
blobfad67c097b08c695c57c376946f3093f487d4358
1 trash