☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Fra 29.08.2017. Se den seneste versjonen.

Forfatter
martianyi
Vurderinger
0 0 0
Versjon
1.0.1
Lagd
27.07.2017
Oppdatert
29.08.2017
Size
3,2 kB
Lisens
I/T
Gjelder

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