Skip to content

apparently this needs to be edited in 6 different places#537

Merged
majcosta merged 1 commit into
1dot13:masterfrom
majcosta:pr_more_config_fixes
Oct 10, 2025
Merged

apparently this needs to be edited in 6 different places#537
majcosta merged 1 commit into
1dot13:masterfrom
majcosta:pr_more_config_fixes

Commits

Commits on Oct 10, 2025