tree 629bda9185e35e8fe0cf1605fefd78a8eb22d6e2
parent 0d23fb5174a1830750b41da9c25e74b2cc5b6480
author Marc Kupietz <kupietz@ids-mannheim.de> 1662636568 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1662740733 +0200

Automatically convert python lists to string vectors

Currently that's all we need.

Change-Id: I4e6dd61da8c374116c88a0c18a5277d55d9f3f45