☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

As of 29/08/2017. See the latest version.

Autor
martianyi
Ocene
0 0 0
Verzija
1.0.1
Napravljeno
27/07/2017
Ažurirano
29/08/2017
Size
3,17 КБ
Licenca
Nije dostupno
Važi za

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