diff --git a/Misc/ignore b/Misc/ignore
deleted file mode 100644
index 518e2dc7f7e..00000000000
--- a/Misc/ignore
+++ /dev/null
@@ -1 +0,0 @@
-py25 ignore