tree 034977ef7b1d8bf6e72ab7af4b4921fd2ce2071c
parent 7497adfe312e648eab24b8108278c70427a80aac
author margaretha <margaretha@ids-mannheim.de> 1575392848 +0100
committer margaretha <margaretha@ids-mannheim.de> 1575560821 +0100

Implemented pipe extension in the search API.

Change-Id: If2a486185a7d16a27b7b46d35d85b7d5f27b66cd