remove the flags
This commit is contained in:
1 parent
c8a4c28a51
commit
9d18d316c5
1 file changed
+1
-3
@@ -1,5 +1,3 @@
|
||||
concrete AdverbMkd of Adverb = CatMkd ** open Prelude,ResMkd in {
|
||||
flags
|
||||
coding = "UTF-8" ;
|
||||
lin PrepNP p np = {s = p.s ++ np.s} ;
|
||||
}
|
||||
}
|
||||
Reference in new issue
Block a user