No Description

burble 6082a59709 Merge branch 'git-update' of dn42/delegation-servers.dn42 into master 1 month ago
docker-copyedit @ 2cf6cb0bbc 3fce6929c9 Initial commit 1 year ago
master 866d07ef47 Update git repositories 1 month 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 1 year ago
.gitmodules 3fce6929c9 Initial commit 1 year ago
build.sh 3fce6929c9 Initial commit 1 year ago