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