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

Conversation

@majcosta
Copy link
Copy Markdown
Contributor

No description provided.

TODO make this have a single source of truth instead of three or four
@majcosta majcosta force-pushed the pr_more_config_fixes branch from 7f3fbc4 to 7c18825 Compare October 10, 2025 20:50
@majcosta majcosta merged commit 8257f2c into 1dot13:master Oct 10, 2025
@majcosta majcosta deleted the pr_more_config_fixes branch October 10, 2025 20:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant