diff options
author | Zack Weinberg <zackw@panix.com> | 2017-12-31 17:12:01 -0800 |
---|---|---|
committer | Zack Weinberg <zackw@panix.com> | 2017-12-31 17:12:01 -0800 |
commit | bf800d7023b79762f35474d00adb1b5b576ac68b (patch) | |
tree | 17a9d9392af32f87d7eb93d6a002e6244022c48a /dev | |
parent | 09533208febe923479261a27b7691abef297d604 (diff) | |
download | glibc-bf800d7023b79762f35474d00adb1b5b576ac68b.tar.gz |
Remove accidentally-committed junk file dev/null
Diffstat (limited to 'dev')
-rw-r--r-- | dev/null | 0 |
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 |