Directory listing for /git/admin-gui-dev/jenkinsfiles/

• develop-pipeline.jenkinsfile
• pr-builds.jenkinsfile