Remove the distrib/prep-bin-* scripts
authorIan Lynagh <ian@well-typed.com>
Thu, 11 Oct 2012 14:33:28 +0000 (15:33 +0100)
committerIan Lynagh <ian@well-typed.com>
Thu, 11 Oct 2012 14:33:28 +0000 (15:33 +0100)
commite84dc37c1dd661eb1a8425222280f04f573597dc
tree6e2361d49cb0686f10bd64291553bc5fafa9d20e
parent87e8c55ece4d0d4f84af26991792afcddc7ef4a4
Remove the distrib/prep-bin-* scripts

They are no longer used
distrib/prep-bin-dist-mingw [deleted file]
distrib/prep-bin-dist-mingw-alex [deleted file]
distrib/prep-bin-dist-mingw-args [deleted file]
distrib/prep-bin-dist-mingw-greencard [deleted file]
distrib/prep-bin-dist-mingw-haddock [deleted file]
distrib/prep-bin-dist-mingw-happy [deleted file]
distrib/prep-bin-dist-mingw-hdirect [deleted file]