Slava Pestov 95bfc8a240 vocabs.metadata: replace unportable tag with a platforms.txt file for more fine-grained control. Rename unportable tag to untested for remaining cases		2010-02-20 13:30:49 +13:00
..
authors.txt	ECDSA OpenSSL interface	2009-03-10 00:02:53 +01:00
ecdsa-tests.factor	move sha1 and sha2 to checksums.sha, update usages	2009-05-17 17:58:36 -05:00
ecdsa.factor	nip most uses of tuck from extra	2009-11-05 22:22:21 -06:00
summary.txt	ECDSA OpenSSL interface	2009-03-10 00:02:53 +01:00
tags.txt	vocabs.metadata: replace unportable tag with a platforms.txt file for more fine-grained control. Rename unportable tag to untested for remaining cases	2010-02-20 13:30:49 +13:00