-
Michael Leuschel authored
using new svg_objects feature (ProB 1.12.x) Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
20526175
using new svg_objects feature (ProB 1.12.x)
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>