Skip to content

Feature/new api design#90

Merged
johannesduesing merged 43 commits intodevelopfrom
feature/newAPI_design
Jan 22, 2019
Merged

Feature/new api design#90
johannesduesing merged 43 commits intodevelopfrom
feature/newAPI_design

Commits

Commits on Dec 6, 2018

Commits on Dec 28, 2018

Commits on Jan 13, 2019

Commits on Jan 15, 2019

Commits on Jan 16, 2019

Commits on Jan 21, 2019

Commits on Jan 22, 2019