diff-prs
tool
The diff-prs
tool is invoked as follows:
diff-prs prfile1 prfile2
diff-prs
simply reads the PRs contained in prfile1 and
prfile2 and returns a list of the fields that are different
between the two. No output is produced if the PRs are identical.