Skip to content

make JSON files smaller by limiting the precision#499

Merged
jgriesfeller merged 8 commits intomain-devfrom griesie_fix_366Oct 25, 2021

Commits

Commits on Oct 19, 2021

Commits on Oct 25, 2021