☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

اعتبارا من 27-07-2017. شاهد أحدث إصدار.

المؤلف
martianyi
التقييمات
0 0 0
الإصدار
1.0.0
تم إنشاؤه
27-07-2017
تم تحديثه
27-07-2017
Size
3.17 KB
الترخيص
لا يوجد
ينطبق على

Add a Sourcegraph button jump to Sourcegraph from GitHub when you click on it.