diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-03-01 10:34:17 +0100 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-03-01 10:34:17 +0100 |
commit | a2b92270fd1cfc69a73fb83c81ad0f6ccf2c731f (patch) | |
tree | c8af113f6735215faf17acace17baea48d93b9c0 /buffered-reader | |
parent | a69b5dbe69e8084ab90c07b31d78298a806bf47c (diff) |
buffered-reader: Remove unused file.
Diffstat (limited to 'buffered-reader')
-rw-r--r-- | buffered-reader/src/mod.rs | 4 |
1 files changed, 0 insertions, 4 deletions
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"); |