☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

La data de 29-08-2017. Vezi ultima versiune.

Autor
martianyi
Rating-uri
0 0 0
Versiune
1.0.1
Creat
27-07-2017
Actualizat
29-08-2017
Size
3,17 KB
Licență
N/A
Se aplică pe

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