--- a/Admin/polyml/CHECKLIST Sat Jun 04 16:23:42 2016 +0200
+++ b/Admin/polyml/CHECKLIST Sat Jun 04 16:54:23 2016 +0200
@@ -12,5 +12,3 @@
* include sha1 source and binary for each platform
* linux: include copy of libgmp.so with symlinks from build host
-
-* include copy of "polyml" script