Skip to content

lint: delete trailing spaces#815

Closed
danctorres wants to merge 2 commits intoCATIA-Systems:mainfrom
danctorres:dtor_delete_trailing_spaces
Closed

lint: delete trailing spaces#815
danctorres wants to merge 2 commits intoCATIA-Systems:mainfrom
danctorres:dtor_delete_trailing_spaces

Conversation

@danctorres
Copy link
Copy Markdown

No description provided.

@danctorres danctorres closed this Apr 8, 2026
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