cleanup of whitespaces

1 job for develop in 1 minute and 30 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed #4822
dune:git--gcc

00:01:30

 
Name Stage Failure
failed
dune:git--gcc Test There is an unknown failure, please try again
make[2]: *** [dune/amdis/CMakeFiles/duneamdis.dir/ProblemStat.cpp.o] Error 1
dune/amdis/CMakeFiles/duneamdis.dir/build.make:254: recipe for target 'dune/amdis/CMakeFiles/duneamdis.dir/ProblemStat.cpp.o' failed
make[1]: *** [dune/amdis/CMakeFiles/duneamdis.dir/all] Error 2
CMakeFiles/Makefile2:1551: recipe for target 'dune/amdis/CMakeFiles/duneamdis.dir/all' failed
make: *** [all] Error 2
Makefile:160: recipe for target 'all' failed
--- Failed to build dune-amdis ---
Terminating dunecontrol due to previous errors!
ERROR: Job failed: exit code 1