mirror of
https://github.com/hedgedoc/hedgedoc.git
synced 2024-11-23 10:16:32 -05:00
f3e093c715
It turned out that saving the file extension in a separate field is not necessary. Instead, the extension is saved in the complete filename in the `id` field. Signed-off-by: David Mehren <git@herrmehren.de> |
||
---|---|---|
.. | ||
dev | ||
guides | ||
images | ||
legal | ||
setup | ||
configuration-config-file.md | ||
configuration-env-vars.md | ||
history.md | ||
slide-options.md |