From a2b92270fd1cfc69a73fb83c81ad0f6ccf2c731f Mon Sep 17 00:00:00 2001
From: Justus Winter <justus@sequoia-pgp.org>
Date: Fri, 1 Mar 2019 10:34:17 +0100
Subject: buffered-reader: Remove unused file.

---
 buffered-reader/src/mod.rs | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 buffered-reader/src/mod.rs

(limited to 'buffered-reader')

diff --git a/buffered-reader/src/mod.rs b/buffered-reader/src/mod.rs
deleted file mode 100644
index 856a295b..00000000
--- a/buffered-reader/src/mod.rs
+++ /dev/null
@@ -1,4 +0,0 @@
-//! An improved `BufRead` interface.
-
-// Hack so that the file doesn't have to be named mod.rs.
-include!("buffered_reader.rs");
-- 
cgit v1.2.3