Skip to content

Stop respecting obsolete project properties#1992

Merged
fractalwrench merged 12 commits intomainfrom
remove-unused-proj-properties
Mar 7, 2025
Merged

Stop respecting obsolete project properties#1992
fractalwrench merged 12 commits intomainfrom
remove-unused-proj-properties

Commits

Commits on Mar 7, 2025