Skip to content

chore(librarian): remove unused files#14590

Merged
ohmayr merged 1 commit into
mainfrom
remove-unused-files-2025-09-29
Sep 29, 2025
Merged

chore(librarian): remove unused files#14590
ohmayr merged 1 commit into
mainfrom
remove-unused-files-2025-09-29

Conversation

@parthea

@parthea parthea commented Sep 29, 2025

Copy link
Copy Markdown
Contributor

Remove unused files

@parthea parthea requested a review from a team September 29, 2025 21:41
@parthea parthea requested a review from a team as a code owner September 29, 2025 21:41
@parthea parthea requested a review from chingor13 September 29, 2025 21:41
@ohmayr ohmayr merged commit 1b99f19 into main Sep 29, 2025
26 checks passed
@ohmayr ohmayr deleted the remove-unused-files-2025-09-29 branch September 29, 2025 23:23
ohmayr pushed a commit that referenced this pull request Sep 29, 2025
ohmayr pushed a commit that referenced this pull request Sep 29, 2025
ohmayr pushed a commit that referenced this pull request Sep 29, 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