☰

GitHub Diff Files Filter

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

As of 31/12/2016. See the latest version.

Autor
Mottie
Ocene
0 0 0
Verzija
0.1.0
Napravljeno
31/12/2016
Ažurirano
31/12/2016
Size
4,79 КБ
Licenca
https://creativecommons.org/licenses/by-sa/4.0/
Važi za