tree 5b1bba1ae0bc46baa9a791ca9c00ef88aed99ad7
parent 0b02070e9a2435fd3b313e1751672002f519b4c5
author Marc Kupietz <kupietz@ids-mannheim.de> 1726231766 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1726241748 +0200

Docker don't slim the workdir

Fixes missing tab arrow

Change-Id: If9a037a1991cd7360aff941d2b4d0322b24a3cae