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