Monroe Mills, Ohio

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

History

Monroe Mills was named for a gristmill built in 1844 on the site in Monroe Township.[2] A post office called Monroe Mills was established in 1849, and remained in operation until 1902.[3]

gollark: Fortunately, EPUB is a structured format, and the library means the amount of XML I touch is reduced.
gollark: I have metadata done, and I found a good library for reading chapters (may require XHTML parsing, oh bee).
gollark: Well, it reads the metadata, reads each chapter, and dumps them into a SQLite FTS table.
gollark: Not really. I mean, sort of yes, but at that point it would be very slow. My indexer thing will index stuff *once* then search using that.
gollark: `ripgrep` is also performant, however I need to search compressed archives.

References



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