Robin Mueller fe95c3337a changed builddir name in Jenkinsfile		2022-01-26 12:28:30 +01:00
..
Dockerfile	introducing valgrind	2021-10-27 21:32:40 +02:00
Jenkinsfile	changed builddir name in Jenkinsfile	2022-01-26 12:28:30 +01:00