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

[Request]: Think again about custom plugins #2

Open

Dr-Electron opened this issue Jun 13, 2022 · 0 comments

Member

Dr-Electron commented Jun 13, 2022 •

edited

Loading

Feature description

Like discussed here we should think about adding some remark plugins too the default ones or maybe also remove some

Motivation

This will make everything more consistent and we can push certain standards

Open questions

No response

Are you planning to do it yourself in a pull request?

No

Dr-Electron added this to Wiki Overview

Dr-Electron moved this to Todo in Wiki Overview

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment