Skip to content

Update renaming_preferences.py#156

Merged
Weisl merged 2 commits intodevelopfrom
support
Dec 17, 2023
Merged

Update renaming_preferences.py#156
Weisl merged 2 commits intodevelopfrom
support

Conversation

@Weisl
Copy link
Owner

@Weisl Weisl commented Dec 17, 2023

No description provided.

@Weisl Weisl merged commit 114e127 into develop Dec 17, 2023
@Weisl Weisl deleted the support branch December 17, 2023 15:57
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