log tests/sigdupe.lac

age author description
2008-06-22 Adam Chlipala Signature duplicate entry checking