☰

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 KB
الترخيص
لا يوجد
ينطبق على

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