diff -r acfa595636c7 -r f951c624c1a1 Admin/polyml/CHECKLIST
--- 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