Github.com - Extra header links - modified

Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.

Version au 11/05/2019. Voir la dernière version.

Auteur
Hao Zhou
Notes
0 0 0
Version
2.0.0
Créé
25/05/2018
Mis à jour
11/05/2019
Taille
1,25 ko
Licence
N/A
S'applique à