Admin/components/nonfree
changeset 69386 7bcad752857d
parent 48847 06e8cb8f3f61
--- a/Admin/components/nonfree	Sun Dec 02 13:29:40 2018 +0100
+++ b/Admin/components/nonfree	Sun Dec 02 14:11:34 2018 +0100
@@ -1,3 +1,2 @@
 #special components for internal testing only
-vampire-1.0
 yices-1.0.28