☰

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 Sourcegraph Button

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