☰

GitHub Diff Files Filter

A userscript that adds filters that toggle diff & PR files by extension

À partir de 2016-12-31. Voir la dernière version.

Auteur
Mottie
Évaluations
0 0 0
Version
0.1.0
Créer
2016-12-31
Mis à jour
2016-12-31
Taille
4,79 ko
Licence
https://creativecommons.org/licenses/by-sa/4.0/
S'applique à