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.

À partir de 2014-05-27. Voir la dernière version.

长期地址
遇到问题?请前往 GitHub 提 Issues。