☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Od 29.08.2017.. Pogledajte najnovija verzija.

Autor
martianyi
Ocjene
0 0 0
Verzija
1.0.1
Stvoreno
27.07.2017.
Ažurirano
29.08.2017.
Size
3,17 KB
Licenza
N/A
Primjenjuje se

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