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

Provide Intellisense #303

Closed
wants to merge 1 commit into from
Closed

Provide Intellisense #303

wants to merge 1 commit into from

Conversation

jlost
Copy link

@jlost jlost commented May 10, 2024

Addresses #37

@karthiknadig karthiknadig self-assigned this Jun 20, 2024
@karthiknadig
Copy link
Member

@jlost It looks like this is not completed yet. Closing this for now. Please feel free to comment if you plan on working on this.

@dvargas92495
Copy link

Is the team open to someone else picking this up?

@karthiknadig
Copy link
Member

Yes. Go ahead.

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.

3 participants