diff --git a/Documentation/dont_submit b/Documentation/dont_submit
deleted file mode 100644
index 72e8ffc0db8..00000000000
--- a/Documentation/dont_submit
+++ /dev/null
@@ -1 +0,0 @@
-*