Skip to content

Adapted registry interface to newest API version#26

Merged
johannesduesing merged 1 commit intodevelopfrom
feature/newRegistryAPI
Feb 4, 2019
Merged

Adapted registry interface to newest API version#26
johannesduesing merged 1 commit intodevelopfrom
feature/newRegistryAPI

Commits

Commits on Jan 22, 2019