revert the addition of pot5art

2026-07-01 03:28:34 -06:00 · 2023-08-30 21:35:03 +02:00
parent 28afb4d0dc
commit f53b872b33
4 changed files with 0 additions and 16 deletions
@@ -146,10 +146,6 @@ lin pot5 n = {
                } ;
      n = Pl
    } ;
-lin pot5art = {
-      s = \\o,_ => "" ;
-      n = Sg
-    } ;
 lin pot5plus n1 n2 = {
      s = \\o,f => (pot5 n1).s ! o ! f ++ "и" ++ n2.s ! o ! f;
      n = Pl