Remove accidentally-committed junk file dev/null

diff --git a/dev/null b/dev/null
deleted file mode 100644 (file)
index e69de29..0000000