Clean-up, document and rename some attributes.
Compare changes
- René Schöne authored
+ 9
− 0
@@ -222,6 +222,9 @@ aspect BackendDirectedAPI {
@@ -910,6 +913,9 @@ aspect NameResolutionHelper {
@@ -1473,6 +1479,9 @@ aspect PrettyPrint {