--- a/Admin/polyml/CHECKLIST Mon Jan 28 12:25:36 2013 +0100 +++ b/Admin/polyml/CHECKLIST Mon Jan 28 14:33:19 2013 +0100 @@ -5,7 +5,7 @@ * copy build -* copy updated etc/settings +* copy etc/settings * include full source (without symlink)