☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

As of 2017-08-29. See the latest version.

نووسەر
martianyi
Ratings
0 0 0
وەشان
1.0.1
Created
2017-07-27
Updated
2017-08-29
Size
3.17 KB
مۆڵەت
نییە
Applies to

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