Feature/smaller cleanups
Compare changes
- Christian Engwer authored
+ 24
− 16
@@ -586,6 +586,7 @@ namespace Dune {
@@ -659,11 +660,11 @@ namespace Dune {
@@ -689,7 +690,7 @@ namespace Dune {
@@ -855,6 +856,8 @@ namespace Dune {
@@ -918,7 +921,7 @@ namespace Dune {
@@ -958,7 +961,7 @@ namespace Dune {
@@ -999,7 +1002,7 @@ namespace Dune {
@@ -1048,8 +1051,10 @@ namespace Dune {
@@ -1058,7 +1063,7 @@ namespace Dune {
@@ -1067,7 +1072,7 @@ namespace Dune {
@@ -1197,6 +1202,7 @@ namespace Dune {
@@ -1268,7 +1274,7 @@ namespace Dune {
@@ -1286,7 +1292,7 @@ namespace Dune {
@@ -1385,8 +1391,10 @@ namespace Dune {
@@ -1395,14 +1403,14 @@ namespace Dune {