☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

À partir de 2017-07-27. Voir la dernière version.

Auteur
martianyi
Évaluations
0 0 0
Version
1.0.0
Créer
2017-07-27
Mis à jour
2017-07-27
Taille
3,17 ko
Licence
S/O
S'applique à

An userscript add a button allow you jump to Sourcegraph from GitHub.