Valentin Gagarin 3d716df7ce make diagrams compatible with svgbob ... this will at some point enable rendering them nicely for the web		2022-11-09 01:29:01 +01:00
..
manual	make diagrams compatible with svgbob	2022-11-09 01:29:01 +01:00