No Description

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