No Description

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