Pipelines · Merge branch 'feature/search-#13-#14' into 'develop' (59d85db4) · Commits · SADE / SADE

Commit 59d85db4 authored Jan 18, 2019 by

Mathias Goebel

Feature/search (closes #14)

Closes #14

See merge request !38