☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

נכון ליום 29-08-2017. ראה הגרסה האחרונה.

יוצר
martianyi
דירוגים
0 0 0
גרסה
1.0.1
נוצר
27-07-2017
עודכן
29-08-2017
Size
3.17 קילו-בייט
רישיון
לא זמין
חל על

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