diff --git a/dev/null b/dev/null deleted file mode 100644 index e69de29bb2d..00000000000