☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Ekde 2017/07/27. Vidu La ĝisdata versio.

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

Add a Sourcegraph button jump to Sourcegraph from GitHub when you click on it.