REPLACED old Russian RG completely

2026-06-30 02:58:35 -06:00 · 2020-07-24 12:59:02 +03:00
parent 4d3e106148
commit 1f9e6aeaad
38 changed files with 6639 additions and 276773 deletions
@@ -1,6 +1,3 @@
--# -path=.:../abstract:../common:../prelude:../api
+--# -path=.:../abstract:../common:../api

-concrete AllRus of AllRusAbs = 
-  LangRus,
-  ExtraRus
-  ** {flags coding=utf8 ;} ;
+concrete AllRus of AllRusAbs = LangRus, ExtraRus ** open ExtendRus in {flags coding=utf8;}