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

Add docs badge #193

Merged
merged 1 commit into from
Oct 25, 2018
Merged

Add docs badge #193

merged 1 commit into from
Oct 25, 2018

Conversation

janhohenheim
Copy link
Contributor

@janhohenheim janhohenheim commented Oct 25, 2018

It was a bit frustrating to scroll down to the documentation link every time I wanted to look something up, so I added you a badge to the top of the readme :)

It was a bit frustrating to scroll down to the documentation link, so I added you a badge to the top of the readme :)
@vi vi merged commit 72792a9 into websockets-rs:master Oct 25, 2018
@janhohenheim janhohenheim deleted the patch-1 branch October 25, 2018 21:32
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