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

HeaderID Plugin #6

Open
ilikeazureskyNCTU opened this issue Jul 12, 2020 · 2 comments
Open

HeaderID Plugin #6

ilikeazureskyNCTU opened this issue Jul 12, 2020 · 2 comments

Comments

@ilikeazureskyNCTU
Copy link

No description provided.

@yungyuc
Copy link
Contributor

yungyuc commented Jul 12, 2020

Thanks for filing the issues. Could you add more contents for the 3 issues, #6 and #7, that you filed?

@yungyuc
Copy link
Contributor

yungyuc commented Jul 12, 2020

This issue itself may be related to #4.

@chestercheng chestercheng mentioned this issue Aug 19, 2020
Merged
@yungyuc yungyuc mentioned this issue Aug 19, 2020
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yungyuc @ilikeazureskyNCTU