☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Autor
martianyi
Denně instalací
0
Celkem instalací
256
Hodnocení
1 1 0
Verze
1.0.1
Vytvořeno
27. 07. 2017
Aktualizováno
29. 08. 2017
Size
3,2 KB
Licence
neuvedeno
Spustit na

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