tree 81357c029d6837e6d03d5453c3503a332cb0b17c
parent 894401e9658212605640808ba959abbe817152f7
author Marc Kupietz <kupietz@ids-mannheim.de> 1616403088 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1616430020 +0100

Use new libcollocatordb_static.a

Change-Id: Iad6fc67a27340cad176cd65e73a6b9bb486f11d1