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...