Etymology
Today it means: A town, the county seat of Edwards County, Texas, United States. Full definition →
From rock + springs.
Etymology from Wiktionary, CC BY-SA 4.0.