☰

GitHub Diff Files Filter

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

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

نووسەر
Mottie
Ratings
0 0 0
وەشان
0.1.0
Created
2016-12-31
Updated
2016-12-31
Size
4.79 KB
مۆڵەت
https://creativecommons.org/licenses/by-sa/4.0/
Applies to