red-green-prs par kravse
A little tool to swap the red and green indicators on GitHub pull requests. Added lines bad. Deleted lines goood.
Métadonnées de l’extension
Captures d’écran
Autorisations et données
Plus d’informations
- Liens du module
- Version
- 1.0.1
- Taille
- 13,71 Ko
- Dernière mise à jour
- il y a 6 ans (13 avr. 2020)
- Catégories associées
- Licence
- Mozilla Public License 2.0
- Historique des versions
- Ajouter à la collection