diff --git a/.idea/ant.xml b/.idea/ant.xml index c497b47b130..7a011c30abc 100644 --- a/.idea/ant.xml +++ b/.idea/ant.xml @@ -16,7 +16,7 @@ - + diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml index e5c787c6667..844fa1a71bd 100644 --- a/libraries/build-docs.xml +++ b/libraries/build-docs.xml @@ -2,7 +2,12 @@ - + + + + + +