β Back to extensions
Hover an identifier in a Gitea pull request diff to see where it is defined and used, inside the PR and across the repo.
Hover an identifier in a Gitea pull request diff to see where it is defined and used, inside the PR and across the repo.
User reviews
No reviews collected yet.