format diagrams

This commit is contained in:
Michael Jerger 2023-08-03 18:43:18 +02:00
parent 76549e997a
commit 03692ba9d0