xGinko 6669421c36 rename before forgetting name

2023-10-02 12:46:12 +02:00

..

src/main

rename before forgetting name

2023-10-02 12:46:12 +02:00

pom.xml

remove redundant repo

2023-10-01 13:09:02 +02:00