Skip to content
Snippets Groups Projects

Rename katropton to katoptron

Passed
Liegeois Kim created pipeline for commit b0d3db1c
, finished
1 related merge request: !59 Rename katropton to katoptron
7 jobs 6 minutes 34 seconds, queued for 2 seconds