← All developers

dhaus

[email protected]

1

Extensions

3

Total Users

—

Avg Rating

1

Categories

Developer Tools

Extensions (1)

Most Users Highest Rated Name A-Z Recently Updated

GitHub PR Whitespace Hider

Automatically hides whitespace changes in GitHub PR diffs

No ratings3 users

Developer Tools