Jean Flach 2636e6a77a Whitespace fix
What does this change?
* Remove use of spaces for formatting
These could be found by using `grep -r -l -P '^\t+ +[^*]'
* Removal of training whitespaces
* A few lines longer than 120 chars
2017-12-20 14:53:52 +01:00
..
2017-12-20 14:53:52 +01:00
2017-12-20 14:53:52 +01:00
2017-12-20 08:08:02 +01:00
2017-12-20 08:02:17 +01:00