ruff
d70d9596 - Rename `red_knot_workspace` to `red_knot_project` (#15615)

Commit

244 days ago

Rename `red_knot_workspace` to `red_knot_project` (#15615)

References

#15615 - Rename `red_knot_workspace` to `red_knot_project`

Author

MichaReiser

MichaReiser

Parents

Loading