☰

GitHub Diff Files Filter

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

Från och med 2016-12-31. Se den senaste versionen.

Skapare
Mottie
Betyg
0 0 0
Version
0.1.0
Skapad
2016-12-31
Uppdaterad
2016-12-31
Size
4,79 KB
Licens
https://creativecommons.org/licenses/by-sa/4.0/
Gäller för