log tests/blobOpt.urs

age author description
2009-04-26 Adam Chlipala Handling nullable blobs