tree afcb60117d35856f1be20ecba15bf42bada66a1c
parent 4bc00016f73eec95c6a0a05c84f833213b18ba3e
author Marc Kupietz <kupietz@ids-mannheim.de> 1687083111 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687083111 +0200

Improve source code style slightly

Change-Id: I32186e8d7fcfa913e0ba64e7e494bac60ceddc95