Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* .htmlreport is generated. * .orig is a git backup when merge conflicts occur * .diff and .patch are used as "commit as a file"
- Loading branch information
85f908b
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ack