* def-check.pl: Check for PRIVATE or INTERNAL annotations in defs file. To generate a diff of this commit: cvs diff -r1.143 -r1.144 krb5/src/util/ChangeLog cvs diff -r1.4 -r1.5 krb5/src/util/def-check.pl