Commit bec78e97 authored by Benedikt Kleinmeier's avatar Benedikt Kleinmeier

In "TikzGenerator.java", colorize selected trajectory properly

parent cfd8c5b0
Pipeline #214114 passed with stages
in 134 minutes and 46 seconds