RIOT-OS/RIOT — pull request #1515 by cgundogan (2014-07-31 18:49:04+00:00)
Title: converting tabs to spaces in dist (#1439)

This PR converts tabs to white spaces.
The statement I used for the conversion:
```find . -name "*.[ch]" -exec zsh -c 'expand -t 4 "$0" > /tmp/e && mv /tmp/e "$0"' {} \;```
Afterwards, I had a quick overview of the converted files to prevent odd indentation.