Define encoding

2026-05-16 21:09:04 +02:00
parent 3011097d62
commit 9f9d52cac1
1 changed files with 1 additions and 1 deletions
@@ -73,7 +73,7 @@ constexpr SerializedHyphenationPatterns {patterns_symbol} = {{
    sizeof({data_symbol}),
 }};
 """
-    path.write_text(content)
+    path.write_text(content, encoding='utf-8')


 def main() -> None: