Skip to content

Fixed wrong character for decimal places#69

Open
ptrkbmn wants to merge 1 commit intoerdomke:masterfrom
gauss-lvs:master
Open

Fixed wrong character for decimal places#69
ptrkbmn wants to merge 1 commit intoerdomke:masterfrom
gauss-lvs:master

Conversation

@ptrkbmn
Copy link

@ptrkbmn ptrkbmn commented Jul 22, 2021

In a German environment the comma was used instead of a dot as a separator for decimal places.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant