Fix #160: In "TikzGenerator.java", use "String.format(Locale.US, ..." to force...
Fix #160: In "TikzGenerator.java", use "String.format(Locale.US, ..." to force a dot as decimal separator.
Please register or sign in to comment
Fix #160: In "TikzGenerator.java", use "String.format(Locale.US, ..." to force a dot as decimal separator.