Skip to content

Adapted registry interface to newest API version#42

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

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

Commits

Commits on Jan 22, 2019

Commits on Feb 7, 2019