A userscript that adds filters that toggle diff & PR folders, and files by extension
Fra og med 30.03.2019. Se den nyeste version.
No discussions posted yet.
Hvis du mener, at dette script overtræder Greasy Fork's regler, bedes du rapportere det til fjernelse.
Sign in to post a review, comment, or question.
