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

Github buttons #89

Merged
merged 1 commit into from
Jan 5, 2015
Merged

Github buttons #89

merged 1 commit into from
Jan 5, 2015

Conversation

gkchic
Copy link
Contributor

@gkchic gkchic commented Jan 5, 2015

Addition of GitHub buttons to the top of the right hand navigation

Addition of GitHub buttons to the top of the right hand navigation
knsv added a commit that referenced this pull request Jan 5, 2015
@knsv knsv merged commit 1ba8bfa into mermaid-js:gh-pages Jan 5, 2015
@knsv
Copy link
Collaborator

knsv commented Jan 5, 2015

Thanks!

@gkchic gkchic deleted the gh-pages branch January 5, 2015 20:49
mgenereu pushed a commit to mgenereu/mermaid that referenced this pull request Jun 25, 2022
Sync master into develop and update to mermaid 8.9.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants