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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove two ~HEAD docs #3327

Merged
merged 1 commit into from Aug 18, 2022
Merged

Remove two ~HEAD docs #3327

merged 1 commit into from Aug 18, 2022

Conversation

jayvdb
Copy link
Contributor

@jayvdb jayvdb commented Aug 17, 2022 •
edited

馃搼 Summary

These two files appear to be redundant/ out of date.

Resolves #

馃搹 Design Decisions

馃搵 Tasks

Make sure you

  • 馃摉 have read the contribution guidelines
  • 馃捇 have added unit/e2e tests (if appropriate)
  • 馃敄 targeted develop branch

ashishjain0512
ashishjain0512 approved these changes Aug 18, 2022
View reviewed changes
Copy link
Collaborator

@ashishjain0512 ashishjain0512 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the clean-up.

@ashishjain0512 ashishjain0512 merged commit f30d19c into mermaid-js:develop Aug 18, 2022
@moul-bot moul-bot mentioned this pull request Oct 2, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ashishjain0512 ashishjain0512 ashishjain0512 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jayvdb @ashishjain0512