Rename katropton to katoptron
- Aug 20, 2020
-
-
Kim Liegeois authored
-
Kim Liegeois authored
-
Kim Liegeois authored
-
Pour rappel, le service sera inaccessible ce lundi 05/05/25 midi pour raison de mise à jour.
This MR renames katropton to katoptron.