[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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.
This document was generated by Chad Walstrom on March 3, 2015 using texi2html 1.82.