☰

GitHub Diff Files Filter

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

Fra og med 31.12.2016. Se den nyeste version.

Skaber
Mottie
Bedømmelser
0 0 0
Version
0.1.0
Oprettet
31.12.2016
Opdateret
31.12.2016
Size
4,79 kB
Licens
https://creativecommons.org/licenses/by-sa/4.0/
Gælder for