Skip to content

Feature/rename in gen files#180

Closed
rpietzsch wants to merge 3 commits intomainfrom
feature/rename-in-gen-files
Closed

Feature/rename in gen files#180
rpietzsch wants to merge 3 commits intomainfrom
feature/rename-in-gen-files

Conversation

@rpietzsch
Copy link
Contributor

No description provided.

@rpietzsch rpietzsch requested a review from seebi April 17, 2025 14:22
@rpietzsch
Copy link
Contributor Author

rpietzsch commented Apr 17, 2025

config doc commit reversed, as fixed at source.

@rpietzsch rpietzsch closed this Dec 1, 2025
@rpietzsch
Copy link
Contributor Author

obsolete, won't merge

@rpietzsch rpietzsch deleted the feature/rename-in-gen-files branch December 1, 2025 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant