GitHub Diff Files Filter

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

Per 31-12-2016. Zie de nieuwste versie.

Maker
Mottie
Beoordelingen
0 0 0
Versie
0.1.0
Gemaakt op
31-12-2016
Bijgewerkt op
31-12-2016
Grootte
4,79 KB
Licentie
https://creativecommons.org/licenses/by-sa/4.0/
Wordt toegepast op