☰

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.

Upphovsman
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
长期地址
遇到问题？请前往 GitHub 提 Issues。