4.8.5 The 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.