-
Benedikt Kleinmeier authored
Fix #160: In "TikzGenerator.java", use "String.format(Locale.US, ..." to force a dot as decimal separator.
b36062b1
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).
2024-04-04: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Fix #160: In "TikzGenerator.java", use "String.format(Locale.US, ..." to force a dot as decimal separator.