anhefti 015806db5b test new Jenkinsfile and switch integration test port to 8888		2024-03-04 16:41:18 +01:00
..
java/ch/ethz/seb/sebserver	test new Jenkinsfile and switch integration test port to 8888	2024-03-04 16:41:18 +01:00
resources	test new Jenkinsfile and switch integration test port to 8888	2024-03-04 16:41:18 +01:00