☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Skaber
martianyi
Daglige installationer
0
Installationer i alt
256
Bedømmelser
1 1 0
Version
1.0.1
Oprettet
27.07.2017
Opdateret
29.08.2017
Size
3,17 kB
Licens
N/A
Gælder for

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