☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Version au 27/07/2017. Voir la dernière version.

Auteur
martianyi
Notes
0 0 0
Version
1.0.0
Créé
27/07/2017
Mis à jour
27/07/2017
Taille
3,17 ko
Licence
N/A
S'applique à