# HG changeset patch # User Markus Bröker # Date 1447422790 -3600 # Node ID 8c2f3735a9bd59c048de08ee25dcc257e256658c # Parent 54ea0099329cd075ae72c36f7de1a54513943578 Weitere Korrekturen nach dem Aufwachen diff --git a/.idea/encodings.xml b/.idea/encodings.xml --- a/.idea/encodings.xml +++ b/.idea/encodings.xml @@ -8,12 +8,6 @@ - - - - - - \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,17 +1,16 @@ - - + + - - - - - - + + + + + @@ -40,66 +39,93 @@ - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - + + + + + + + + + + + + + - - + + - - - - + + - - + + - - - - - + + + + + + + + + + + + + @@ -145,7 +171,6 @@ @@ -320,6 +346,7 @@ + @@ -390,7 +417,6 @@ - @@ -512,12 +538,6 @@ @@ -819,28 +845,28 @@ - + + - - - + + + - - - - + + + @@ -883,7 +909,6 @@