☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Ekde 2017/08/29. Vidu La ĝisdata versio.

Aŭtoro
martianyi
Ratings
0 0 0
Versio
1.0.1
Kreita
2017/07/27
Ĝisdatigita
2017/08/29
Size
3,17 kb
Licenco
N/A
Aplikiĝas al

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