Rock Mills, Ohio

Rock Mills is an unincorporated community in Fayette County, in the U.S. state of Ohio.

History

Former variant names were Rockville and Walton.[1] The first settlement was made near the site in 1815.[2] A mill was later built there.[2] Rock Mills has been noted for the rock deposits near the town site.[3]

gollark: Java 7 used to be able to, but mods need 8 now, but 9 somehow breaks the launcher because of course it does.
gollark: bcachefs looks interesting, but isn't actually in the kernel yet.
gollark: I overresearch current filesystem benchmarks *every time* I set up a Linux system and really need to stop doing it.
gollark: I mostly just use f2fs these days.
gollark: There are probably mods with fishes on older versions.

References
  1. U.S. Geological Survey Geographic Names Information System: Rock Mills, Ohio
  2. Allen, Frank M. (1914). History of Fayette County, Ohio: Her People, Industries and Institutions. B. F. Bowen, Incorporated. p. 325.
  3. Dills, R. S. (1881). History of Fayette County: Together with Historic Notes on the Northwest, and the State of Ohio. Gleaned from Early Authors, Old Maps and Manuscripts, Private and Official Correspondence, and All Other Authentic Sources. Odell & Mayer. p. 368.

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