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.

Sign up for GitHub

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

Jump to bottom

Project status #32

Open
Ogromny opened this issue Mar 17, 2020 · 5 comments
Open

Project status #32

Ogromny opened this issue Mar 17, 2020 · 5 comments
Labels
question Further information is requested

Comments

@Ogromny
Copy link

Ogromny commented Mar 17, 2020

Is this project dead ?
@ice1000
Copy link
Owner

ice1000 commented Mar 17, 2020

Yes.

@ice1000 ice1000 added the question Further information is requested label Mar 17, 2020
@ice1000
Copy link
Owner

ice1000 commented Mar 17, 2020

Well, not really. I'm just running out of time. I'm working on Arend and some personal projects rn.

@InfRandomness InfRandomness mentioned this issue Jan 30, 2021
Open
@MarioAriasC
Copy link

I'm working on a new plugin. It contains some code from this project but right now it has fewer features.

https://github.com/MarioAriasC/zig-support

@ice1000
Copy link
Owner

ice1000 commented Nov 24, 2021

I'm working on a new plugin. It contains some code from this project but right now it has fewer features.

https://github.com/MarioAriasC/zig-support

Cool!!! This is gonna be epic!!

@linux-china
Copy link

Bring it back #39

@MarioAriasC MarioAriasC mentioned this issue Jul 28, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
question Further information is requested
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@linux-china @MarioAriasC @Ogromny @ice1000