1
0
forked from GitHub/gf-rgl

fix the encoding in CatBul.gf

This commit is contained in:
kr.angelov
2013-12-04 08:20:02 +00:00
parent 70f8827f75
commit 7ae0bca14c

View File

@@ -1,9 +1,6 @@
--# -coding=cp1251
--# -coding=utf8
concrete CatBul of Cat = CommonX - [IAdv,CAdv] ** open ResBul, Prelude, Predef, (R = ParamX) in {
flags
coding=cp1251; optimize=all_subs;
lincat
-- Tensed/Untensed