Rename katropton to katoptron
This MR renames katropton to katoptron.
Merge request reports
Activity
Filter activity
mentioned in merge request !60 (merged)
Please register or sign in to reply
This MR renames katropton to katoptron.
3 commits pour renommer un répertoire mais pas un seul "revert" ni de "push force"; je suis déçu...
approved this merge request
merged
mentioned in merge request !60 (merged)