☰

GitHub Diff Files Filter

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

La data de 31-12-2016. Vezi ultima versiune.

Autor
Mottie
Rating-uri
0 0 0
Versiune
0.1.0
Creat
31-12-2016
Actualizat
31-12-2016
Size
4,79 KB
Licență
https://creativecommons.org/licenses/by-sa/4.0/
Se aplică pe