Remove redundant file

This is why we use `git mv`, not cut and paste…
csnover · Jun 15, 2020 · b9d78e2 · b9d78e2
1 parent b792976
commit b9d78e2
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/libearthquake/src/types/reader.rs b/libearthquake/src/types/reader.rs