☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

As of 27. 07. 2017. See the latest version.

Autor
martianyi
Ocene
0 0 0
Verzija
1.0.0
Napravljeno
27. 07. 2017
Ažurirano
27. 07. 2017
Size
3,17 КБ
Licenca
Nije dostupno
Važi za
长期地址
遇到问题？请前往 GitHub 提 Issues。