Pipelines · In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects... (27356614) · Commits · vadere / vadere

The container registry cleanup task is now completed and the registry can be used normally.

Commit 27356614 authored Jun 20, 2018 by

Benedikt Kleinmeier

In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects...

In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects config if elements are visible.

Also replaced "tikz_icon.png" by "camera_tikz.png".

parent 4f8c4b1e

Pipeline #58064 passed with stage in 46 seconds