☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

À partir de 2017-08-29. Voir la dernière version.

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

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