diff --git a/build.xml b/build.xml index 8f0f7a7172..811831194a 100644 --- a/build.xml +++ b/build.xml @@ -2,7 +2,7 @@ - + diff --git a/pom.xml b/pom.xml index 4936424f97..c9506f1149 100644 --- a/pom.xml +++ b/pom.xml @@ -5,7 +5,7 @@ org.orekit orekit jar - 12.0-SNAPSHOT + 12.0 OREKIT http://www.orekit.org/