A userscript that adds filters that toggle diff & PR folders, and files by extension
As of 11. 01. 2019. See the latest version.
No discussions posted yet.
If you think this script is breaking Greasy Fork's rules, please report it for removal.
Sign in to post a review, comment, or question.
