.jenkins.sh
deleted100755 → 0
+0
−20
docker/Dockerfile
deleted100644 → 0
+0
−33
docker/build-container.sh
deleted100755 → 0
+0
−25
docker/oas2pdf
deleted100755 → 0
+0
−61
docker/run-container.sh
deleted100755 → 0
+0
−27
Loading