mirror of
https://github.com/hedgedoc/hedgedoc.git
synced 2025-02-07 04:01:10 +00:00
762a0a850e
Doing this BEFORE the merge prevents a lot of merge conflicts. Signed-off-by: Tilman Vatteroth <git@tilmanvatteroth.de>
15 KiB
15 KiB