Joshua captured all these kings and their cities and put them to the sword. He devoted them to destruction, as Moses the LORD’s servant had commanded.
Jewish Publication Society of America Version (JPS1917) - Joshua 11:12 >And all the cities of those kings, and all the kings of them, did Joshua take, and he smote them with the edge of the sword, and utterly destroyed them; as Moses the servant of the LORD commanded.