☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Versão de: 27/07/2017. Veja: a última versão.

Autor
martianyi
Avaliações
0 0 0
Versão
1.0.0
Criado
27/07/2017
Atualizado
27/07/2017
Tamanho
3,17 KB
Licença
N/A
Aplicável a

GitHub Sourcegraph Button

You can jump to Sourcegraph from GitHub when you click on it.

长期地址
遇到问题？请前往 GitHub 提 Issues。