☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Pada tanggal 29 Agustus 2017. Lihat %(latest_version_link).

Penulis
martianyi
Nilai
0 0 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.