mirror of
https://github.com/hedgedoc/hedgedoc.git
synced 2024-11-28 21:54:12 -05: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