☰

Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

Versão de: 11/11/2019. Veja: a última versão.

Estas são as versões deste script em que houve atualização do código. Mostar todas versões.

  • v5 18/06/2020 Imported from URL
  • v4 04/03/2020 Imported from URL
  • v3 13/02/2020 Imported from URL
  • v2 20/11/2019 Imported from URL
  • v1 11/11/2019 Imported from URL