Bring back Orekit 12.1
Reverts !16 (merged)
This reverts commit b2fd26ad, reversing changes made to 975a642c.
Merge request reports
Activity
assigned to @Petrush
mentioned in merge request !16 (merged)
mentioned in commit 16502012
Please register or sign in to reply