☰

Reload GitHub Pull Request Diff page to ignore whitespace

Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.

Verze ze dne 27. 05. 2014. Zobrazit nejnovější verzi.