Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Well-defined Plugin Interface #1959

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
Closed
greyscaled opened this issue Aug 10, 2020 · 1 comment
Closed

Well-defined Plugin Interface #1959

greyscaled opened this issue Aug 10, 2020 · 1 comment
Labels
enhancement Some improvement that isn't a feature

Comments

@greyscaled
Copy link
Contributor

See #1954 (comment)
@greyscaled greyscaled added the enhancement Some improvement that isn't a feature label Aug 10, 2020
@nhooyr nhooyr changed the title Well-defined Interface Well-defined Plugin Interface Aug 17, 2020
@nhooyr
Copy link
Contributor

nhooyr commented Dec 8, 2020

This was done in #2252

@nhooyr nhooyr closed this as completed Dec 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement Some improvement that isn't a feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nhooyr @greyscaled