Skip to content

Remove griffe from deps#272

Closed
gvanrossum wants to merge 1 commit into
microsoft:mainfrom
gvanrossum:griffe
Closed

Remove griffe from deps#272
gvanrossum wants to merge 1 commit into
microsoft:mainfrom
gvanrossum:griffe

Conversation

@gvanrossum
Copy link
Copy Markdown
Collaborator

We may or may not need this.

@gvanrossum gvanrossum closed this May 5, 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