☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Autor
martianyi
Instalaciones diarias
0
Instalaciones totales
256
Calificaciones
1 1 0
Versión
1.0.1
Creado
27/07/2017
Actualizado
29/08/2017
Licencia
Desconocida
Funciona en

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