From 98128249bdd9ad43f361166b77559f57a4137484 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 10 Jun 2026 12:35:32 +0200 Subject: [PATCH] remove the encoding flag --- src/ukrainian/NumeralUkr.gf | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ukrainian/NumeralUkr.gf b/src/ukrainian/NumeralUkr.gf index 2e9d4fb4..5221dfaa 100644 --- a/src/ukrainian/NumeralUkr.gf +++ b/src/ukrainian/NumeralUkr.gf @@ -1,6 +1,4 @@ concrete NumeralUkr of Numeral = CatUkr [Numeral,Digits,Decimal] ** open Prelude,ParamX,ResUkr in { - flags - coding = "UTF-8" ; lincat Digit = {s,teen,ten,hundred : Str} ;