/scripts/

• ../
• Dockerfile.32
• Dockerfile.32.ubuntu
• Dockerfile.64
• Dockerfile.64.ubuntu
• build-docker-otp
• build-otp
• pre-push
• run-dialyzer
• run-smoke-tests