Skip to content
GitLab
Explore
Sign in
Add the decimal point character to the configuration file
Bump the format version number
Add menu entry for changing the decimal point
Edited
Sep 27, 2024
by
Rafael Laboissière