remove the utf-8 flags

2026-06-24 18:46:28 -06:00 · 2026-03-19 15:27:53 +01:00
parent ce2f785f92
commit 76cbf0b75b
5 changed files with 5 additions and 12 deletions
@@ -1,6 +1,5 @@
 concrete VerbMkd of Verb = CatMkd ** open Prelude,ResMkd in {
-  flags
-    coding = "UTF-8" ;
+
  lin ComplSlash vps np = {present = \\a,n,p => vps.present ! a ! n
                                                  ! p
                                                  ++ np.s;