tree 266be902980949882c4a2cf981c049425aa2d268
parent 80df4e3f73ae011d1ab6ebb3b3270be87b22486d
author Marc Kupietz <kupietz@ids-mannheim.de> 1687882078 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687882078 +0200

Actually avoid page breaks in .figure

Change-Id: I085dcd014ccab724f3bc205c4c9e5eaa821ad197