uniform encoding: gfo and pgf in UTF8, internal in unicode

2026-09-21 09:46:04 -06:00 · 2008-06-26 16:35:45 +00:00
parent 4fa7f664b5
commit e636783202
35 changed files with 80 additions and 29 deletions
@@ -3,4 +3,4 @@
 concrete Russian of RussianAbs = 
  LangRus,
  ExtraRus
-  ** {} ;
+  ** {flags coding=utf8 ;} ;