-
Benedikt Kleinmeier authored
In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects config if elements are visible. Also replaced "tikz_icon.png" by "camera_tikz.png".
27356614
The container registry garbage collection is completed and you can write to the registry again. If you notice any containers missing which you still need and cannot restore yourself, please contact the LRZ Servicedesk (we have a backup).
In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects config if elements are visible. Also replaced "tikz_icon.png" by "camera_tikz.png".