summaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorZack Weinberg <zackw@panix.com>2017-12-31 17:12:01 -0800
committerZack Weinberg <zackw@panix.com>2017-12-31 17:12:01 -0800
commitbf800d7023b79762f35474d00adb1b5b576ac68b (patch)
tree17a9d9392af32f87d7eb93d6a002e6244022c48a /dev
parent09533208febe923479261a27b7691abef297d604 (diff)
downloadglibc-bf800d7023b79762f35474d00adb1b5b576ac68b.tar.gz
Remove accidentally-committed junk file dev/null
Diffstat (limited to 'dev')
-rw-r--r--dev/null0
1 files changed, 0 insertions, 0 deletions
diff --git a/dev/null b/dev/null
deleted file mode 100644
index e69de29bb2..0000000000
--- a/dev/null
+++ /dev/null