diff --git a/trunk/.idea/ant.xml b/trunk/.idea/ant.xml index db0112b75..6ddee46ae 100644 --- a/trunk/.idea/ant.xml +++ b/trunk/.idea/ant.xml @@ -2,6 +2,14 @@ + + + + + + + + diff --git a/trunk/.idea/libraries/lib1.xml b/trunk/.idea/libraries/lib.xml similarity index 67% rename from trunk/.idea/libraries/lib1.xml rename to trunk/.idea/libraries/lib.xml index ddc47d775..d062ade52 100644 --- a/trunk/.idea/libraries/lib1.xml +++ b/trunk/.idea/libraries/lib.xml @@ -1,7 +1,6 @@ - + - diff --git a/trunk/.idea/workspace.xml b/trunk/.idea/workspace.xml index e47745fba..8e4cd62eb 100644 --- a/trunk/.idea/workspace.xml +++ b/trunk/.idea/workspace.xml @@ -74,6 +74,7 @@ @@ -133,38 +134,6 @@