An userscript to add "Sourcegraph" button on github.
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
