Christoph Reiter cb545051bb Use a different mermaid generator ...

For some reason the "Download SVG" one has some broken SVG escaping which makes
it use the wrong font.

2020-07-30 22:17:59 +02:00

..

docs.md

README: add a sequence diagram

2020-07-30 18:43:30 +02:00

sequence.svg

Use a different mermaid generator

2020-07-30 22:17:59 +02:00