[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Orekit Developers] Orekit 7.1 released



 

Je viens de voir que tu avais même pensé à mettre à jour le schéma « overview ». Dis-donc, la mise à jour du site prend plus de temps que la publication d'Orekit 7.1 elle-même ! :)

Sébastien