tree 02d812b4c694dabcc3a31f0564bef4ad8649a14c
parent 7c3742c3267e57a47b64114af99349da28c0fbf1
author Marc Kupietz <kupietz@ids-mannheim.de> 1687543855 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687543855 +0200

Avoid page breaks after headlines and inside figures

Change-Id: Ic4a844d36538e8074a09a772a29f6818481788e0