From 92c6fa7cd319336df03a16d385d40439c9ec2cbe Mon Sep 17 00:00:00 2001
From: gprat <guylaine.prat@c-s.fr>
Date: Wed, 15 Jul 2020 17:05:25 +0200
Subject: [PATCH] Update dependency to Orekit 10.2 official release
---
pom.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pom.xml b/pom.xml
index de9e8764..753dd31e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
<!-- COTS version -->
- <rugged.orekit.version>10.2-SNAPSHOT</rugged.orekit.version>
+ <rugged.orekit.version>10.2</rugged.orekit.version>
<rugged.junit.version>4.12</rugged.junit.version>
<!-- Compilers and Tools version -->
--
GitLab