☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Penulis
martianyi
Pemasangan harian
0
Total pemasangan
256
Nilai
1 1 0
Versi
1.0.1
Dibuat
27 Juli 2017
Diperbarui
29 Agustus 2017
Size
3,17 KB
Lisensi
N/A
Berlaku untuk

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