Jakob Ketterl 1299f5e9cc update csdr in docker to the latest version		2020-05-22 21:25:22 +02:00
..
Dockerfiles	add docker build for perseus	2020-03-22 15:32:39 +01:00
scripts	update csdr in docker to the latest version	2020-05-22 21:25:22 +02:00
env	add docker build for perseus	2020-03-22 15:32:39 +01:00