No Description

burble 6082a59709 Merge branch 'git-update' of dn42/delegation-servers.dn42 into master 2 years ago
docker-copyedit @ 2cf6cb0bbc 3fce6929c9 Initial commit 3 years ago
master 866d07ef47 Update git repositories 2 years ago
scripts d01a5370e3 Implement better registry-sync.dn42 handling and upgrade to java 11 3 years ago
slave d01a5370e3 Implement better registry-sync.dn42 handling and upgrade to java 11 3 years ago
.gitignore 3fce6929c9 Initial commit 3 years ago
.gitmodules 3fce6929c9 Initial commit 3 years ago
build.sh 3fce6929c9 Initial commit 3 years ago