- Language
-
- [EN] HOL File extension
- [DE] HOL Dateiendung
- [ES] Archivo HOL
- [TR] HOL Uzantılı dosya
- [PL] Rozszerzenie pliku HOL
- [SV] HOL fil
- [RU] Расширение файла HOL
- [AR] HOL ملحق الملف
- [IT] Estensione HOL
- [CS] Přípona souboru HOL
- [JA] HOL ファイル
- [FR] Extension de fichier HOL
- [NL] Bestandsextensie HOL
- [PT] Extensão do arquivo HOL
- [HU] Az HOL fájl kiterjesztése
- [KO] HOL 의 확장 파일
