[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 ! :)


Sorry for the noise, it was supposed to be a private message. :(

Sébatien