☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Autore
martianyi
Installazioni giornaliere
0
Installazioni totali
256
Valutazione
1 1 0
Versione
1.0.1
Creato il
27/07/2017
Aggiornato il
29/08/2017
Dimensione
3,17 KB
Licenza
Non disponibile
Applica a

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