idris-lang/Idris-dev — pull request #576 by folone (2013-11-01 13:36:49+00:00)
Title: Whitespace cleanup.

Take 2. Supersedes #572.

```
$ find . -type f -name '*.idr' -exec sed --in-place 's/[[:space:]]\+$//' {} \+
$ find . -type f -name '*.hs' -exec sed --in-place 's/[[:space:]]\+$//' {} \+
$ find . -type f -name '*.lidr' -exec sed --in-place 's/[[:space:]]\+$//' {} \+
$ find test/ -type f -name '*' -exec sed --in-place 's/[[:space:]]\+$//' {} \+
```