☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Fra og med 29.08.2017. Se den nyeste version.

Skaber
martianyi
Bedømmelser
0 0 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.