Quentin Gliech e7744c6b50 Add placeholders in the documentation to make browsing the documentation source less confusing ...

Fixes #1078

2023-10-11 17:34:06 +02:00

..

build-docs.sh

Add placeholders in the documentation to make browsing the documentation source less confusing

2023-10-11 17:34:06 +02:00

update.sh

templates: add translations function

2023-10-05 19:29:23 +02:00