Michael Jerger ef2efc40f7 updates for kotlin build		2023-10-25 09:18:41 +02:00
..
resources	updates for kotlin build	2023-10-25 09:18:41 +02:00
Dockerfile	add kotlin image	2023-08-08 09:04:28 +02:00