mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-25 09:13:18 -06:00
in NumeralAmh: UTF8 -> utf8. The former is not recognized on Windows
This commit is contained in:
1 parent
f8e5423b65
commit
bd47f06df6
1 file changed
+1
-1
@@ -1,6 +1,6 @@
|
||||
|
||||
concrete NumeralAmh of Numeral = CatAmh ** open ResAmh,ParamX in {
|
||||
flags coding = UTF8;
|
||||
flags coding = utf8;
|
||||
lincat
|
||||
|
||||
|
||||
|
||||
Reference in new issue
Block a user