☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Versione datata 27/07/2017. Vedi la nuova versione l'ultima versione.

Autore
martianyi
Valutazione
0 0 0
Versione
1.0.0
Creato il
27/07/2017
Aggiornato il
27/07/2017
Dimensione
3,17 KB
Licenza
Non disponibile
Applica a