This commit is contained in:
Krasimir Angelov committed 2026-09-04 14:16:25 +02:00
1 parent 1ec6a98640
commit c97cbb530c
1 file changed
+1 -2
+1 -2
View File
@@ -1,7 +1,6 @@
--# -path=.:../abstract:../common
concrete DocumentationBul of Documentation = CatBul ** open
ResBul, Prelude, ParamX
HTML in {
ResBul, Prelude, ParamX, HTML in {
flags coding=utf8 ;
lincat