uv
Rename `project::FoundInterpreter` to `ProjectInterpreter`
#7874

Merged

Rename `project::FoundInterpreter` to `ProjectInterpreter` #7874

zanieb merged 1 commit into main from zb/found-interp

zanieb added internal

zanieb force pushed from d29c93ae to 500f3c76 1 year ago

Rename `project::FoundInterpreter` to `ProjectInterpreter`

a8f7891c

zanieb force pushed from 500f3c76 to a8f7891c 1 year ago

zanieb merged 64c74ac5 into main 1 year ago

zanieb deleted the zb/found-interp branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

internal

Milestone

No milestone