GitHub Diff Files Filter

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

Version vom 17.02.2024. Aktuellste Version

Die Hilfeseite des Autors besuchen.

Es wurden noch keine Diskussionen veröffentlicht.

Eine Rezension, einen Kommentar oder eine Frage posten

Wenn Sie denken, dass dieses Skript gegen Greasy Fork's Regeln verstößt, bitte melden Sie es zur Löschung.

Melden Sie sich an, um eine Rezension, einen Kommentar oder eine Frage zu veröffentlichen.