log tests/crypt.urs

age author description
2011-01-16 Adam Chlipala Patch from Vladimir Shabanov to support crypt under OS X