☰

GitHub Diff Files Filter

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

2018/05/10のページです。最新版はこちら。

議論はまだありません。

評価やコメント、質問を投稿

このスクリプトが Greasy Fork の規則に違反するなら、削除依頼してください。

評価やコメント、質問を投稿するにはログインしてください。