Skip to content

Adapted registry interface to newest API version#36

Merged
bhermann merged 2 commits intodevelopfrom
feature/newRegistryAPI
Feb 7, 2019
Merged

Adapted registry interface to newest API version#36
bhermann merged 2 commits intodevelopfrom
feature/newRegistryAPI

Commits

Commits on Jan 22, 2019

Commits on Feb 7, 2019