tree 3a38810f4ef8c01ac0649e69ce5cf8202f81d78a
parent b0173f19397519ad81c333be8d4ea6742dab65f5
author Marc Kupietz <kupietz@ids-mannheim.de> 1511961779 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1511961779 +0100

w2v-server: make option settings work