bring repo up-to-date

2022-05-21 17:57:38 +02:00
parent cd7de5dc64
commit ff41037806
96 changed files with 224981 additions and 1 deletions
@@ -0,0 +1,5 @@
+(page_layout
+(setup (textsize 1.5 1.5)(linewidth 0.15)(textlinewidth 0.15)
+(left_margin 10)(right_margin 10)(top_margin 10)(bottom_margin 10))
+(line (name segm1:Line) (start 0 0) (end 0 0))
+)