Skip to content

Refactor the settings handling#368

Merged
jdalton merged 1 commit intomainfrom
ref_settings
Mar 18, 2025
Merged

Refactor the settings handling#368
jdalton merged 1 commit intomainfrom
ref_settings

Conversation

@pvdz
Copy link
Contributor

@pvdz pvdz commented Mar 17, 2025

Small cleanup around the settings util

  • Remove any
  • Describe the target folder semantics
  • Pull module-globals up to the top

@pvdz pvdz requested a review from jdalton March 17, 2025 12:58
@jdalton jdalton merged commit b1179f5 into main Mar 18, 2025
17 checks passed
@jdalton jdalton deleted the ref_settings branch March 18, 2025 20:57
jdalton pushed a commit that referenced this pull request Mar 19, 2025
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.

2 participants