This repository has been archived by the owner on Dec 7, 2019. It is now read-only.

Add GitHub Stars button to header #70

Closed

kieckhafer opened this issue May 2, 2017 · 0 comments

Assignees

Member

kieckhafer commented May 2, 2017

No description provided.

kieckhafer self-assigned this

kieckhafer mentioned this issue

display GitHub stars in Docs header #69

Merged

kieckhafer closed this as completed

kieckhafer mentioned this issue

add github stars in header #71

Merged

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.