Skip to content

Convert loaded settings numbers to double#592

Merged
mjansen4857 merged 1 commit intomainfrom 588-numbers-without-a-decimal-point-in-json-files-crash-guiFeb 5, 2024

Commits

Commits on Feb 5, 2024