☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

As of 29.08.2017. See the latest version.

Аўтар
martianyi
Рэйтынг
0 0 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.