GitHub Diff Filter Plus
Developer Tools
Multi-select file type filters for GitHub PRs. Apply all at once.
- Store users
- 5
- Ratings
- 5.0/ 5 1 rating
Antoine Rato
1 listing we've seen · as of 6 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.