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

Add support for zed-editor #317

Open
bbigras opened this issue Aug 19, 2024 · 1 comment · May be fixed by #359
Open

Add support for zed-editor #317

bbigras opened this issue Aug 19, 2024 · 1 comment · May be fixed by #359
Labels
port request Request to add support for a port

Comments

@bbigras
Copy link

bbigras commented Aug 19, 2024

Maybe if/when nix-community/home-manager#5455 is merged.

@getchoo getchoo added port request Request to add support for a port blocked Waiting on external changes labels Aug 23, 2024
@getchoo getchoo changed the title Support zed-editor Add support for zed-editor Aug 23, 2024
@SymphonySimper
Copy link

Maybe if/when nix-community/home-manager#5455 is merged.

The PR has been merged.

@isabelroses isabelroses removed the blocked Waiting on external changes label Oct 26, 2024
@isabelroses isabelroses linked a pull request Oct 26, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
port request Request to add support for a port
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants