jexelmans/drawio: Fork of drawio with some newly written plugins. @ ce34b70605f7e53a97d62c7e55a6d6282fee2bad

Gaudenz Alder 42bd774df3 6.1.0.0 release		8 lat temu
..
jars	e1d8c185ab Add files via upload	8 lat temu
build.properties	dcda9ed577 Adds GitHub build properties	8 lat temu
build.xml	42bd774df3 6.1.0.0 release	8 lat temu
compiler.jar	648b0f02cb 5.6.0.0 release	9 lat temu