Nico Schottelius 5815d959a5 fix idp urls		2024-02-28 13:40:59 +09:00
ansible	fix idp urls	2024-02-28 13:40:59 +09:00
bin	add sync script for runa git repo	2023-10-19 19:22:53 +02:00
development	Move dev/ things to development	2024-01-05 11:20:18 +01:00