mirror of
https://github.com/hedgedoc/hedgedoc.git
synced 2024-11-24 02:36:31 -05:00
3bc9708871
This was included in the old editor preferences dialog, which got removed altogether with the document-bar. Signed-off-by: Erik Michelson <github@erik.michelson.eu> |
||
---|---|---|
.. | ||
en.json |