Renommer les fichiers "planet" en "celestial_body"
Canceled
arian.dervisha
created pipeline for commit
8edde3a1
, finished
1 related merge request: !42 Renommer type "planet_t" par "celestial_body_t"