Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat: call hierarchy (undone) #30

Merged
merged 5 commits into from
Oct 9, 2023
Merged

Feat: call hierarchy (undone) #30

merged 5 commits into from
Oct 9, 2023

Conversation

jinzhongjia
Copy link
Owner

@jinzhongjia jinzhongjia commented Sep 30, 2023

Development of this feature has been suspended due to lack of demand.

@jinzhongjia jinzhongjia added the enhancement New feature or request label Sep 30, 2023
@jinzhongjia jinzhongjia self-assigned this Sep 30, 2023
@jinzhongjia jinzhongjia mentioned this pull request Sep 28, 2023
14 tasks
@jinzhongjia jinzhongjia changed the title Feat: call hierarchy Feat: call hierarchy (undone) Oct 9, 2023
@jinzhongjia jinzhongjia merged commit 52a7cb1 into main Oct 9, 2023
1 check failed
@jinzhongjia jinzhongjia deleted the callHierarchy branch October 10, 2023 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant