An userscript to add "Sourcegraph" button on github.
Version vom 27.07.2017. Aktuellste Version
Das sind Skriptversionen, bei denen der Quelltext aktualisiert wurde. Alle Versionen anzeigen.
