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

Reorganize the Interfaces and Interface mixins sections. #784

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

Ms2ger
Copy link
Member

@Ms2ger Ms2ger commented Aug 30, 2019

Besides the more strict definitions of interface members and interface
mixin members, this should be editorial.

It is intended to make the sections flow better and to gather related
content into smaller and more easily digestible subsections.


Preview | Diff

Besides the more strict definitions of interface members and interface
mixin members, this should be editorial.

It is intended to make the sections flow better and to gather related
content into smaller and more easily digestible subsections.
@annevk
Copy link
Member

annevk commented Apr 30, 2020

@Ms2ger do you plan to complete this?

@Ms2ger
Copy link
Member Author

Ms2ger commented Apr 30, 2020

If someone wants to review, I can probably rebase.

@annevk
Copy link
Member

annevk commented Apr 30, 2020

I'm happy to volunteer. Maybe @TimothyGu and @EdgarChen are too?

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

Successfully merging this pull request may close these issues.

None yet

3 participants