☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Autor
martianyi
Instalações hoje
0
Total de instalações
256
Avaliações
1 1 0
Versão
1.0.1
Criado
27/07/2017
Atualizado
29/08/2017
Tamanho
3,17 KB
Licença
N/A
Aplicável a

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