Значение слова КАРОЛИНГИ в Орфографическом словаре

Что такое КАРОЛИНГИ

карол`инги, -ов (династия)

Орфографический словарь.