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: Reddit rate limiting maybe? *Does* it rate-limit you that much?
gollark: ++magic py ```pythonif bot.voice: await bot.voice.disconnect()bot.voice = await ctx.author.voice.channel.connect()source = discord.FFmpegPCMAudio("http://localhost:7778/")bot.voice.play(source)```
gollark: utter heavdronic being.
gollark: ++magic py ```pythonif bot.voice: await bot.voice.disconnect()bot.voice = await ctx.author.voice.channel.connect()source = discord.FFmpegPCMAudio("http://localhost:7778/")bot.voice.play(source)```
gollark: ++magic py ```pythonif bot.voice: await bot.voice.disconnect()bot.voice = await ctx.author.voice.channel.connect()source = discord.FFmpegPCMAudio("http://localhost:7778/")bot.voice.play(source)```

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.