tree 156d03c35eafd3636a5e1fddebd960e4f0ca54f8
parent 917b6180971f6eb4fa45f7d6e7491bd171a1e922
author Marc Kupietz <kupietz@ids-mannheim.de> 1687340697 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687340789 +0200

Style footnotess

Change-Id: Id39837f5378a00f213ebee2a01916a9b975e8797