GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Аўтар
martianyi
Daily installs
0
Total installs
256
Рэйтынг
1 1 0
Версія
1.0.1
Створаны
27.07.2017
Абноўлены
29.08.2017
Памер
3.2 КБ
Ліцэнзія
Н/Д
Applies to

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