Pipesville, Ohio

Pipesville is an unincorporated community in Knox County, in the U.S. state of Ohio.[1]

History

A post office called Pipesville was established in 1872, and remained in operation until 1902.[2] The community was named for Warren Pipes, first postmaster.[3]

gollark: Due to quirkiness with my design process, actually all of the logic ever is part of what was intended to be the simplifer (replacing the overly general pattern matching and reduction engine).
gollark: Except it doesn't actually reduce it sometimes and I don't know why.
gollark: Anyway, osmarkscalculator™ is now able to do stuff like `subst[x=4, x+4+3+2+1]` and be right.
gollark: Yes, that would be an unhappy fish.
gollark: Oh, you mean the tailless fish.

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.