Node:diff-prs, Next:pr-age, Previous:pr-edit, Up:Internal utils
diff-prs
toolThe 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.