I know. It would essentially require a semi-manual script that parses the csv file, reads through each header sequentially, asks something like "does this field have decimals, y/n", and if y it adds a decimal point and deletes the following comma in the appropriate data field. It would of course...
Thanks for the reply! I know (now) that I can change it. But I never considered that this might be necessary - in part because of not being familiar with csv files before this, but also because I trusted default settings to be safe where I obviously shouldn't have. Sadly there's no simple way to...
This is a rather trivial bug, but also an incredibly annoying one to come across after having ran a dozen benchmark runs with different hardware configs that now can't be graphed properly. The issue: My PC's region is set to Norway, which means it defaults to a comma as the decimal separator...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.